tmp

Khady · Dec 22, 2023 · 610cb58 · 610cb58
1 parent e61684b
commit 610cb58
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml
@@ -1,9 +1,12 @@
 name: Deploy odoc to GitHub Pages
 
+# on:
+#   push:
+#     branches:
+#       - "*"
 on:
-  push:
-    branches:
-      - "*"
+  - push
+  - pull_request
 
 permissions: read-all