feat(sra): implement Service Rewards Actor (FIP-0118) #82
This file contains hidden or 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: Test | |
| on: | |
| push: | |
| branches: ["main"] | |
| pull_request: | |
| branches: ["main"] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v7 | |
| - name: Install Foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| with: | |
| version: v1.7.1 | |
| cache: true | |
| - name: Install Dependencies | |
| run: | | |
| forge install | |
| - name: Run tests | |
| # Symbolic verification (halmos) is intentionally NOT part of CI: it needs a | |
| # separate `forge build --ast` pass (~2 min) plus ~3 min of SMT solving per run | |
| # (ComputeSharesCheck ~125s + QuarterWindowCheck), and it conflicts with the | |
| # via-IR profile needed to stay under the EIP-170 size limit (harnesses inherit | |
| # the actor without a constructor; via-IR rejects unassigned immutables). It is | |
| # run manually per release / on storage-layout or math changes — see docs/sra-design.md §4.5. | |
| run: | | |
| forge test |