fix: Set DAFNY_VERSION correctly on Windows #108
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: Validate action | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| jobs: | |
| setup-dafny: | |
| name: Install Dafny | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: [macos-latest, ubuntu-latest, windows-latest] | |
| dafny: [3.0.0, 3.8.1, 3.13.1, 4.0.0, 4.8.1, nightly-2023-02-28-80a0e49, nightly-latest] | |
| # Windows 2.3.0 requires mono | |
| include: | |
| - os: macos-latest | |
| dafny: 2.3.0 | |
| - os: ubuntu-latest | |
| dafny: 2.3.0 | |
| steps: | |
| # The first call to `dotnet tool` on a fresh runner sometimes takes multiple minutes, | |
| # perhaps because it is lazily downloading and installing assets. | |
| # It helps to hit that here so we don't hit it in a mocha test with a tight timeout. | |
| - name: Warm up dotnet tool | |
| run: dotnet tool search --help | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| - name: setup-dafny-action ${{ matrix.dafny }} | |
| uses: ./ | |
| with: | |
| dafny-version: ${{ matrix.dafny }} | |
| - name: Check DAFNY_VERSION environment variable | |
| shell: bash | |
| run: test ${{ matrix.dafny }} = ${{ env.DAFNY_VERSION }} | |
| - name: verify dafny | |
| shell: bash | |
| run: __tests__/verify-dafny.sh ${{ matrix.dafny }} | |
| - name: verify something with dafny | |
| if: ${{ !(matrix.dafny != '2.3.0' && matrix.dafny != '3.0.0') }} | |
| shell: bash | |
| run: dafny /compile:0 __tests__/test.dfy | |
| - name: verify something with dafny (with verification logging) | |
| if: matrix.dafny != '2.3.0' && matrix.dafny != '3.0.0' | |
| shell: bash | |
| run: dafny /compile:0 __tests__/test.dfy /verificationLogger:csv | |
| - name: Run the reportgenerator | |
| shell: bash | |
| # This will find no results if we didn't run with verification logging on above | |
| run: dafny-reportgenerator summarize-csv-results --max-resource-count 900000 . | |
| unit-tests: | |
| name: Run tests | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| - name: Install | |
| run: npm ci | |
| - name: Lint | |
| run: npm run lint | |
| - name: Test | |
| run: npm test |