From 9c4382b2149c02fc4117bac811b9b784d2ca6c2f Mon Sep 17 00:00:00 2001
From: Lilith Oberhauser <lilith.oberhauser@huawei.com>
Date: Fri, 17 May 2024 13:00:06 +0300
Subject: [PATCH] update actions test with wip: dat3m, add gen repo commit

Signed-off-by: Lilith Oberhauser <lilith.oberhauser@huawei.com>
---
 .github/workflows/actions.yml | 25 +++++++++++++++++++++++--
 1 file changed, 23 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/actions.yml b/.github/workflows/actions.yml
index 7c89f7c..44d370c 100644
--- 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: .