success testing existential code after refactoring #592
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
| jobs: | |
| build: | |
| name: Build | |
| needs: | |
| - checks | |
| permissions: | |
| actions: read | |
| checks: write | |
| contents: read | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: "actions/checkout@v2" | |
| with: | |
| submodules: 'true' | |
| - name: "~/.sbt\n\"~/.cache/coursier\"\n cache" | |
| uses: "actions/cache@v3" | |
| with: | |
| key: "${{ runner.os }}-sbt-${{ hashFiles('build.sbt', 'project/plugins.sbt', 'project/build.properties') }}" | |
| path: | | |
| ~/.sbt | |
| "~/.cache/coursier" | |
| restore-keys: | | |
| ${{ runner.os }}-sbt | |
| - name: "java ${{ matrix.java }} setup" | |
| uses: "actions/[email protected]" | |
| with: | |
| architecture: x64 | |
| java-package: jdk | |
| java-version: "${{ matrix.java }}" | |
| - run: "sbt -DJDK_VERSION=${{ matrix.java }} ++${{ matrix.scala }} coverage test coverageReport" | |
| - if: "success() || failure()" | |
| name: Report test results | |
| uses: "dorny/[email protected]" | |
| with: | |
| fail-on-error: 'true' | |
| name: Test results | |
| path: "*/target/test-reports/*.xml" | |
| reporter: java-junit | |
| - env: | |
| CODECOV_TOKEN: "${{ secrets.CODECOV_TOKEN }}" | |
| name: Upload coverage reports to Codecov | |
| uses: "codecov/codecov-action@v3" | |
| strategy: | |
| matrix: | |
| java: | |
| - '8.0.382' | |
| - '22.0.1' | |
| scala: | |
| - '2.13.13' | |
| checks: | |
| name: Check formatting | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: "actions/checkout@v2" | |
| with: | |
| submodules: 'true' | |
| - name: "~/.sbt\n\"~/.cache/coursier\"\n cache" | |
| uses: "actions/cache@v3" | |
| with: | |
| key: "${{ runner.os }}-sbt-${{ hashFiles('build.sbt', 'project/plugins.sbt', 'project/build.properties') }}" | |
| path: | | |
| ~/.sbt | |
| "~/.cache/coursier" | |
| restore-keys: | | |
| ${{ runner.os }}-sbt | |
| - name: java 17 setup | |
| uses: "actions/[email protected]" | |
| with: | |
| architecture: x64 | |
| java-package: jdk | |
| java-version: '17' | |
| - run: sbt scalafmtCheckAll scalafmtSbtCheck | |
| pdftutorial: | |
| name: Build and validate the tutorial | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: "actions/checkout@v2" | |
| with: | |
| submodules: 'true' | |
| - name: "~/.sbt\n\"~/.cache/coursier\"\n cache" | |
| uses: "actions/cache@v3" | |
| with: | |
| key: "${{ runner.os }}-sbt-${{ hashFiles('build.sbt', 'project/plugins.sbt', 'project/build.properties') }}" | |
| path: | | |
| ~/.sbt | |
| "~/.cache/coursier" | |
| restore-keys: | | |
| ${{ runner.os }}-sbt | |
| - name: java 17 setup | |
| uses: "actions/[email protected]" | |
| with: | |
| architecture: x64 | |
| java-package: jdk | |
| java-version: '17' | |
| - name: Setup scala-cli | |
| uses: "VirtusLab/scala-cli-setup@main" | |
| - name: Setup dhall executable | |
| uses: "dhall-lang/setup-dhall@v4" | |
| with: | |
| version: '1.42.0' | |
| - name: Setup latex | |
| uses: "zauguin/install-texlive@v3" | |
| with: | |
| packages: scheme-full | |
| - run: bash tutorial/make_pdf.sh dryrunx | |
| - name: Upload tutorial PDF | |
| uses: "actions/upload-artifact@v4" | |
| with: | |
| if-no-files-found: error | |
| name: Tutorial PDF file and logs | |
| path: "./tutorial/programming_dhall.pdf\n./tutorial/generated.log\n./tutorial/programming_dhall.log" | |
| name: scall_build_and_test | |
| on: | |
| push: {} |