From 1f6fa657d68eade486c6e93406ddc4fc44d40bc4 Mon Sep 17 00:00:00 2001
From: Denis Lochmelis <dlochmelis@gmail.com>
Date: Wed, 26 Jun 2024 17:49:37 +0200
Subject: [PATCH] Fix 2 + add jcstress run to CI

---
 .github/workflows/run-litmus.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/run-litmus.yml b/.github/workflows/run-litmus.yml
index cd7f9fc..57598e1 100644
--- a/.github/workflows/run-litmus.yml
+++ b/.github/workflows/run-litmus.yml
@@ -21,6 +21,8 @@ jobs:
         run: ./gradlew cli:linkReleaseExecutableLinuxX64
       - name: Run litmus tests via CLI
         run: ./cli/build/bin/linuxX64/releaseExecutable/cli.kexe -r pthread ".*"
+      - name: Run a single test with JCStress
+        run: ./gradlew :cli:jvmRun --args="-r jcstress -j '-m quick' StoreBuffering.Plain"
 
   macos-run:
     runs-on: ubuntu-latest
@@ -28,13 +30,17 @@ jobs:
       - uses: actions/checkout@v3
       - uses: actions/setup-java@v4
         with:
+          distribution: oracle
           java-version: 17
       - run: chmod +x gradlew
       - name: Assemble CLI binary (x64)
         run: ./gradlew cli:linkReleaseExecutableMacosX64
       - name: Run litmus tests via CLI (x64)
         run: ./cli/build/bin/macosX64/releaseExecutable/cli.kexe -r pthread ".*"
+      - name: Run a single test with JCStress
+        run: ./gradlew :cli:jvmRun --args="-r jcstress -j '-m quick' StoreBuffering.Plain"
       - name: Assemble CLI binary (arm)
         run: ./gradlew cli:linkReleaseExecutableMacosArm64
       - name: Run litmus tests via CLI (arm)
         run: ./cli/build/bin/macosArm64/releaseExecutable/cli.kexe -r pthread ".*"
+