Skip to content

Extract definitions/theorems of functions, add Sigma and Pi #802

Extract definitions/theorems of functions, add Sigma and Pi

Extract definitions/theorems of functions, add Sigma and Pi #802

Workflow file for this run

name: LISA CI
on: [push, pull_request]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up JDK
uses: actions/setup-java@v1
with:
java-version: 17
- name: Compile
run: sbt compile
- name: Run tests
run: sbt test
- name: Check style
run: sbt "scalafixAll --check"
- name: Check format
run: sbt scalafmtCheckAll
- name: Compile sets
run: sbt "lisa-sets / compile"
- name: Compile examples
run: sbt "lisa-examples / compile"