[ci skip] maybe fix pages deploy trigger

.github/workflows/pages.yml

@@ -5,6 +5,9 @@ on:
   # Runs on pushes targeting the default branch
   push:
     branches: ["gh-pages"]
+  workflow_run:
+    workflows: [Deploy Javadoc]
+    types: [completed]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: