dont set up env

0o-de-lally · Oct 5, 2023 · fd072d6 · fd072d6
1 parent e401ff0
commit fd072d6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/formal.yaml b/.github/workflows/formal.yaml
@@ -24,9 +24,9 @@ jobs:
           detached: true
         timeout-minutes: 15
 
-      - uses: actions/checkout@v3
-      - name: setup env
-        uses: ./.github/actions/build_env
+      # - uses: actions/checkout@v3
+      # - name: setup env
+      #   uses: ./.github/actions/build_env
 
       - name: install prover dependencies
         run: >