Chore: Proofs not depending on leaks of opaque + brittleness reduction #387
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
| # This workflow does static verification of the legacy modules | |
| name: Check formatting | |
| on: | |
| workflow_dispatch: | |
| pull_request: | |
| branches: [ master ] | |
| jobs: | |
| formatting: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Install Dafny | |
| uses: dafny-lang/[email protected] | |
| with: | |
| dafny-version: "4.0.0" | |
| - name: Install lit | |
| run: pip install lit OutputCheck | |
| - name: Set up JS dependencies | |
| run: npm install bignumber.js | |
| - name: Check exe | |
| run: | | |
| dafny --version | |
| - name: Check formatting | |
| run: | | |
| chmod +x ./.github/workflows/check-format | |
| ./.github/workflows/check-format src |