scala.yml

name: Scala CI

on:
  push:
    branches: [ master, scala-2.13 ]
  pull_request:
    branches: [ master, scala-2.13 ]

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v2
    - name: Set up JDK 11
      uses: actions/setup-java@v2
      with:
        java-version: '11'
        distribution: 'adopt'
    - name: Build
      run: sbt assembly
    - name: UnitTests
      run: sbt test
    - name: Test
      run: cd regression-tests; export TERM=xterm; wget https://eldarica.org/yices; chmod +x yices; export PATH=`pwd`:$PATH; ./runalldirs