diff --git a/.github/workflows/vcs.yml b/.github/workflows/vcs.yml index 946836036b..82b9dcf761 100644 --- 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 index 514a67bbb7..a8540f8060 100644 --- 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 '';