[ci] fix for wrong command line argument

Signed-off-by: Avimitin <[email protected]>
chipsalliance · Jul 31, 2024 · 9b04103 · 9b04103
1 parent cb7cfcb
commit 9b04103
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/.github/workflows/vcs.yml b/.github/workflows/vcs.yml
@@ -100,5 +100,5 @@ jobs:
           ref: ${{ github.head_ref }}
       - name: "Print step summary"
         run: |
-          nix run ".#ci-helper" -- postCI --failed-tests-file-path ./failed-tests.md --emuType vcs
+          nix run ".#ci-helper" -- postCI --failed-tests-file-path ./failed-tests.md --emu-type vcs
           cat ./failed-tests.md >> $GITHUB_STEP_SUMMARY
diff --git a/tests/make-emu-result.nix b/tests/make-emu-result.nix
@@ -163,11 +163,17 @@ let
       postCheck = ''
         set +e
 
+        echo "[nix] Checking VCS event log"
         "${verilator-emu}/bin/offline" \
           --elf-file ${testCase}/bin/${testCase.pname}.elf \
           --log-file $rtlEventOutPath \
           --log-level ERROR &> $out/offline-check-journal
         printf "$?" > $out/offline-check-status
+        if [ "$(cat $out/offline-check-status)" == "0" ]; then
+          echo "[nix] VCS difftest PASS"
+        else
+          echo "[nix] VCS difftest FAIL"
+        fi
 
         set -e
       '';