patch

0LNetworkCommunity · Nov 9, 2023 · d23f655 · d23f655
1 parent 4b4c205
commit d23f655
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/.github/workflows/formal.yaml b/.github/workflows/formal.yaml
@@ -3,17 +3,17 @@ on:
   push:
     branches:
       - "ci*"
-      - "formal"
+      - "prover*"
   #   tags:
   #   - '[0-9]+.[0-9]+.[0-9]+'
   #   - '[0-9]+.[0-9]+.[0-9]+-rc.[0-9]+'
-  # pull_request:
-  #   types:
-  #     - opened
-  #     - synchronize
-  #   branches:
-  #     - 'release**'
-  #     - 'main'
+  pull_request:
+    types:
+      - opened
+      - synchronize
+    branches:
+      - 'release**'
+      - 'main'
 
 env: