remove duplicate check for IDE (#484) #483
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: Coq | |
| on: | |
| push: | |
| branches: | |
| - master | |
| pull_request: | |
| paths: | |
| - 'coq/**' | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - uses: cachix/install-nix-action@v12 | |
| #- run: nix-build s coq | |
| # The above would also build the shell, includling niv. | |
| # This would be useful behaviour if our CI seeds some cache. | |
| # Until then this would just be wasteful, so lets only | |
| # build the Coq files: | |
| - run: nix-build -A theories coq |