Update optimism-ci.yaml (#13)

Adds a build step before running kontrol
runtimeverification · Sep 27, 2024 · 9fd145c · 9fd145c
1 parent 2bcfcd2
commit 9fd145c
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/optimism-ci.yaml b/.github/workflows/optimism-ci.yaml
@@ -96,6 +96,14 @@ 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: |