Skip to content

Add citation link in README (#29) #97

Add citation link in README (#29)

Add citation link in README (#29) #97

Workflow file for this run

name: Test
on: [push, pull_request]
jobs:
test:
name: Test
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Setup Scala
uses: olafurpg/setup-scala@v10
with:
java-version: adopt@1.8
- name: Cache Scala
uses: coursier/cache-action@v5
- name: Setup BtorMC
uses: SeddonShen/setup-btormc@v0.0.2
- name: SBT Test
run: sbt test