Skip to content

Updated Kosat, now you can only specify clauses #328

Updated Kosat, now you can only specify clauses

Updated Kosat, now you can only specify clauses #328

Workflow file for this run

name: Build (Linux)
on: [ push, pull_request ]
jobs:
build:
runs-on: ubuntu-latest
if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
steps:
- name: Checkout latest code
uses: actions/checkout@v2
- name: Setup Java
uses: actions/setup-java@v2
with:
distribution: zulu
java-version: 11
- name: Setup build cache
uses: pat-s/always-upload-cache@v2
with:
path: ~/.gradle/caches
key: ${{ runner.os }}-gradle-${{ hashFiles('**/*.gradle*') }}
restore-keys: |
${{ runner.os }}-gradle-
- name: Set up ld cache
run: sudo ldconfig $(realpath libs)
- name: Check dependencies
run: |
ldd src/jvmMain/resources/lib/linux64/*.so
- name: Build project using Gradle
run: ./gradlew build -x jvmTest --stacktrace --scan
- name: Run tests
run: ./gradlew cleanTest jvmTest --no-build-cache --stacktrace