update actions test with wip: dat3m, add gen repo commit

Signed-off-by: Lilith Oberhauser <lilith.oberhauser@huawei.com>
open-s4c · May 17, 2024 · 9c4382b · 9c4382b
1 parent a2e52d9
commit 9c4382b
Showing 1 changed file with 23 additions and 2 deletions.
diff --git a/.github/workflows/actions.yml b/.github/workflows/actions.yml
@@ -20,7 +20,7 @@ jobs:
   ###########################################################################
   Run-Checks:
     runs-on: ubuntu-latest
-    container: ghcr.io/open-s4c/vsyncer-ci:sha-5f9eab426f2608a9fac2eabf15c7614c73a81736
+    container: ghcr.io/open-s4c/vsyncer-ci:sha-5f46b3a85118dc92b273a8bfe979356b8cf6947e
     strategy:
       matrix:
         test-dir: [ {p: "test", c: "spinlock"}, {p: "test", c: "quack"},  {p: "test", c: "queue"},
@@ -33,7 +33,7 @@ jobs:
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Configure Verification
-        run: cmake -S. -Bbuild -DVSYNCER_CHECK=ON
+        run: cmake -S. -Bbuild -DVSYNCER_CHECK=ON -DVSYNCER_CHECK_FULL=OFF
       - name: Build Verification Clients for ${{ matrix.test-dir }}
         run: cmake --build build/${{ matrix.test-dir.p }}/${{ matrix.test-dir.c }}
       - name: Run Verification
@@ -62,3 +62,24 @@ jobs:
       - name: Check things match expectation
         run: cmake --build build --target diff-check ||
             (echo "Run 'make ${{ matrix.target }}' and commit" && false)
+  ###########################################################################
+  Generate-Report:
+    runs-on: ubuntu-latest
+    needs: Run-Checks
+    steps:
+      - uses: actions/download-artifact@v4
+        with:
+          pattern: check-report-*
+          path: build/logs
+      - name: merge reports
+        run: |
+          CSV_FILES=( $(find . -type f -name "*.csv") )
+          cat "${CSV_FILES[0]}" | head -n 1 > verification_report.csv
+          cat "${CSV_FILES[@]}" | grep -E --invert '^#' >> verification_report.csv
+          cat verification_report.csv
+      - name: upload final report
+        uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: verification_report.csv
+          path: .