Pp a forall parameter enclosed by parentheses
#1029
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: Test | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| jobs: | |
| test: | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: | |
| - ubuntu-latest | |
| - macos-latest | |
| - windows-latest | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| # Without this, tests will fail on Windows because Coqfmt uses LF as a | |
| # newline while the cloned source code contains CRLF. | |
| - name: Modify the git setting not to convert LF to CRLF | |
| run: git config --global core.autocrlf input | |
| - uses: actions/checkout@v3 | |
| # See https://github.com/ocaml-opam/opam-repository-mingw#updates for `opam-repositories`. | |
| - uses: ocaml/setup-ocaml@v2 | |
| with: | |
| ocaml-compiler: "4.14.1" | |
| opam-repositories: | | |
| opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset | |
| default: https://github.com/ocaml/opam-repository.git | |
| dune-cache: true | |
| - name: Install dependencies | |
| run: opam install --deps-only . | |
| # Without `opam exec -- `, these commands will fail due to "dune not found" | |
| # error. | |
| - name: Build | |
| run: opam exec -- dune build | |
| - name: Run tests | |
| run: opam exec -- dune test | |
| prettier: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Run Prettier | |
| run: npx --yes prettier --check . | |
| ocamlformat: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: ocaml/setup-ocaml@v2 | |
| with: | |
| ocaml-compiler: "4.14.1" | |
| dune-cache: true | |
| - uses: ocaml/setup-ocaml/lint-fmt@v2 | |
| test_coq_files: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: ocaml/setup-ocaml@v2 | |
| with: | |
| ocaml-compiler: "4.14.1" | |
| dune-cache: true | |
| - name: Install Coq | |
| run: opam install coq | |
| - name: Compile Coq files | |
| run: find ./test/coq_files/**/*.v -print0|xargs -0 -n1 opam exec -- coqc |