Skip to content

Add supprot for Zba, Zbb and Zbc #87

Add supprot for Zba, Zbb and Zbc

Add supprot for Zba, Zbb and Zbc #87

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: [email protected]
- name: Cache Scala
uses: coursier/cache-action@v5
- name: Setup BtorMC
uses: SeddonShen/[email protected]
- name: SBT Test
run: sbt test