This repository has been archived by the owner on Nov 29, 2024. It is now read-only.
refactor: moved prover into a separate lib #256
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: foundry | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: [ main ] | |
| pull_request: | |
| env: | |
| FOUNDRY_PROFILE: ci | |
| jobs: | |
| lint: | |
| name: lint | |
| runs-on: "ubuntu-latest" | |
| steps: | |
| - uses: "actions/checkout@v4" | |
| - name: "Install Foundry" | |
| uses: "foundry-rs/foundry-toolchain@v1" | |
| - name: "Install Bun" | |
| uses: "oven-sh/setup-bun@v1" | |
| - name: "Install the Node.js dependencies" | |
| run: "bun install" | |
| - name: "Lint the code" | |
| run: "bun run lint" | |
| - name: "Add lint summary" | |
| run: | | |
| echo "## Lint result" >> $GITHUB_STEP_SUMMARY | |
| echo "✅ Passed" >> $GITHUB_STEP_SUMMARY | |
| build: | |
| name: build | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| - name: "Install Bun" | |
| uses: "oven-sh/setup-bun@v1" | |
| - name: "Install the Node.js dependencies" | |
| run: "bun install" | |
| - name: Run Forge build | |
| run: | | |
| forge --version | |
| forge build --sizes | |
| - name: "Add build summary" | |
| run: | | |
| echo "## Build result" >> $GITHUB_STEP_SUMMARY | |
| echo "✅ Passed" >> $GITHUB_STEP_SUMMARY | |
| test: | |
| needs: ["lint", "build"] | |
| name: test | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| - name: "Install Bun" | |
| uses: "oven-sh/setup-bun@v1" | |
| - name: "Install the Node.js dependencies" | |
| run: "bun install" | |
| - name: Run Forge tests | |
| run: forge test -vvv | |
| - name: "Add test summary" | |
| run: | | |
| echo "## Tests result" >> $GITHUB_STEP_SUMMARY | |
| echo "✅ Passed" >> $GITHUB_STEP_SUMMARY |