Update optimism-ci.yaml (#9)

* Update optimism-ci.yaml Updates `optimism-ci.yaml` to install `rust`, `foundry`, and `just` so that we can build snapshots as part of `run-kontrol.sh`. * Update .github/workflows/optimism-ci.yaml Co-authored-by: Matt Solomon <[email protected]> * Update optimism-ci.yaml * Update optimism-ci.yaml * Update optimism-ci.yaml * Update optimism-ci.yaml --------- Co-authored-by: Matt Solomon <[email protected]>
runtimeverification · Sep 3, 2024 · a38a149 · a38a149
1 parent e6e4948
commit a38a149
Showing 1 changed file with 30 additions and 0 deletions.
diff --git a/.github/workflows/optimism-ci.yaml b/.github/workflows/optimism-ci.yaml
@@ -74,6 +74,36 @@ jobs:
             git checkout ${{ github.event.inputs.branch_name }}
           fi
 
+      - name: "Set up Rust Toolchain"
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: "Install Just"
+        uses: extractions/setup-just@v1
+        with:
+          just-version: 1.35.0
+
+      - name: "Install Foundry"
+        shell: bash
+        run: |
+          curl -L https://foundry.paradigm.xyz | bash
+
+      - name: "Update Foundry"
+        shell: bash
+        run: |
+          pushd optimism > /dev/null
+          source $HOME/.foundry/bin/foundryup
+          export PATH=$HOME/.foundry/bin:$PATH
+          just update-foundry
+
+      - name: "Generate Kontrol Summaries"
+        shell: bash
+        run: |
+          pushd optimism/packages/contracts-bedrock > /dev/null
+          source $HOME/.foundry/bin/foundryup
+          export PATH=$HOME/.foundry/bin:$PATH
+          just kontrol-summary
+          just kontrol-summary-fp
+
       - name: "Download KCFG Cache Results"
         shell: bash
         run: |