Skip to content

Dump top-down solver stuff #382

Dump top-down solver stuff

Dump top-down solver stuff #382

Workflow file for this run

name: Scala CI
on:
push:
pull_request:
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up JDK 19
uses: actions/setup-java@v2
with:
distribution: 'zulu'
java-version: '19'
- name: Test with SBT
run: sbt test