Fix performance regression in incremental reasoning. (#252) #188
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: Scala CI | |
| on: | |
| push: | |
| branches: [ master ] | |
| pull_request: | |
| branches: [ master ] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| # test against latest update of each major Java version, as well as specific updates of LTS versions: | |
| java: [ 8, 11 ] | |
| name: Java ${{ matrix.java }} | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: Set up JDK | |
| uses: actions/setup-java@v1 | |
| with: | |
| java-version: ${{ matrix.java }} | |
| - name: Run tests | |
| run: sbt test "project coreNative" test "project coreJS" test |