Merge branch 'ci-run-on-release' into 'main'

Update .gitlab-ci.yml file to change `pages` pipeline trigger rule

See merge request wotsubo/PSBoardDataBase!1396

.gitlab-ci.yml

@@ -49,14 +49,21 @@ pages:
         Pkg.instantiate()
         @info "Pkg status after dev" Pkg.status()
         include("docs/make.jl")'
+    - ls -R
+    - tree
     - mkdir -p public
     - mv docs/build public/dev
     - ls docs/src -R
   artifacts:
     paths:
       - public
-  only:
-    - main
+  rules:
+    # https://gitlab-docs.creationline.com/ee/ci/jobs/job_control.html#specify-when-jobs-run-with-rules
+    - if: $CI_COMMIT_BRANCH == "main" # when pushed to main
+    - if: $CI_COMMIT_TAG
+    - if: $CI_PIPELINE_SOURCE == "merge_request_event"
+  # only:
+  #   - main
 CompatHelper:
   image: julia:1.11 # Set to the Julia version you want to use
   stage: test # You can place this in any stage that makes sense for your setup