Revert "Update optimism-ci.yaml (#13)" (#15)

This reverts commit 9fd145c.
runtimeverification · Oct 10, 2024 · 8dcff09 · 8dcff09
1 parent 9fd145c
commit 8dcff09
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/.github/workflows/optimism-ci.yaml b/.github/workflows/optimism-ci.yaml
@@ -96,14 +96,6 @@ jobs:
           export PATH=$HOME/.foundry/bin:$PATH
           just update-foundry
 
-      - name: "Build Contracts"
-        shell: bash
-        run: |
-          pushd optimism/packages/contracts-bedrock > /dev/null
-          source $HOME/.foundry/bin/foundryup
-          export PATH=$HOME/.foundry/bin:$PATH
-          just build
-
       - name: "Generate Kontrol Summaries"
         shell: bash
         run: |