Run codespell on CI #23
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: TLA+ Specs | |
| on: | |
| pull_request: | |
| paths: | |
| - docs/spec/tla/** | |
| push: | |
| branches: master | |
| paths: | |
| - docs/specs/tla/** | |
| # Cancel previous runs of this workflow when a new commit is added to the PR, branch or tag | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| typecheck-specs: | |
| runs-on: ubuntu-latest | |
| container: apalache/mc:0.15.2 | |
| env: | |
| working-directory: docs/spec/tla | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: IBC Core | |
| run: apalache-mc typecheck IBCCore.tla | grep -F 'Type checker [OK]' | |
| working-directory: ${{env.working-directory}}/ibc-core | |
| - name: Fungible Token Transfer | |
| run: apalache-mc typecheck IBCTokenTransfer.tla | grep -F 'Type checker [OK]' | |
| working-directory: ${{env.working-directory}}/fungible-token-transfer | |
| - name: ICS 02 Client / Single Chain | |
| run: apalache-mc typecheck ICS02SingleChainEnvironment.tla | grep -F 'Type checker [OK]' | |
| working-directory: ${{env.working-directory}}/client | |
| - name: ICS 02 Client / Two Chains | |
| run: apalache-mc typecheck ICS02TwoChainsEnvironment.tla | grep -F 'Type checker [OK]' | |
| working-directory: ${{env.working-directory}}/client |