Temporarily disable CI on PR

Agoric · Apr 30, 2024 · aa9172e · aa9172e
1 parent 828b258
commit aa9172e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml
@@ -1,8 +1,8 @@
 name: PR
-on:
-  pull_request:
-    paths-ignore:
-      - ".github/workflows/**"
+# on:
+#   pull_request:
+#     paths-ignore:
+#       - ".github/workflows/**"
 jobs:
   pr:
     name: pr