Skip to content

Merge pull request #19 from JetBrains-Research/dev-gh-ci #9

Merge pull request #19 from JetBrains-Research/dev-gh-ci

Merge pull request #19 from JetBrains-Research/dev-gh-ci #9

Workflow file for this run

name: Run litmus tests on different platforms
on:
push:
branches:
- dev-gh-ci
- development
- main
# Note: this CI run is an "integration"-test or "smoke"-test. It is intended to verify that
# the basics of the tool work. It is NOT intended to be complete or to discover weak behaviors.
jobs:
linux-run:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-java@v4
with:
distribution: oracle
java-version: 17
- run: chmod +x gradlew
- name: Assemble CLI binary
run: ./gradlew cli:linkReleaseExecutableLinuxX64
- name: Run litmus tests via CLI
run: ./cli/build/bin/linuxX64/releaseExecutable/cli.kexe -r pthread ".*"
- name: Run litmus tests with JCStress
# takes ~10 mins
run: ./gradlew :cli:jvmRun --args="-r jcstress -j '-m sanity' .*"
macos-run:
runs-on: macos-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-java@v4
with:
distribution: oracle
java-version: 17
- run: chmod +x gradlew
- name: Assemble CLI binary (x64 + release)
run: ./gradlew cli:linkReleaseExecutableMacosX64
- name: Run litmus tests via CLI (x64 + release)
run: ./cli/build/bin/macosX64/releaseExecutable/cli.kexe -r pthread ".*"
- name: Run litmus tests with JCStress
# takes ~10 mins
run: ./gradlew :cli:jvmRun --args="-r jcstress -j '-m sanity' .*"
- name: Assemble CLI binary (arm + release)
run: ./gradlew cli:linkReleaseExecutableMacosArm64
- name: Run litmus tests via CLI (arm + release)
run: ./cli/build/bin/macosArm64/releaseExecutable/cli.kexe -r pthread ".*"