Skip to content

updated answers

updated answers #105

Workflow file for this run

name: Scala CI
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
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