aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/test-results.yml
AgeCommit message (Collapse)AuthorFilesLines
2023-11-29Some simple CI housekeepingAlasdair1-4/+4
Update the versions of some of the Github actions, as some of the older action versions used parts of the github API that are deprecated and due to be removed.
2022-02-16Run ISA tests in CI (#134)Jessica Clarke1-0/+51
* test: Ignore generated XML output * run_tests: Build RVFI emulators too Can't run tests with them though as they're built for direct instruction injection (RVFI-DII) via an instruction stream over a network socket, not fetching instructions from memory, so this remains just a build test. * run_tests/run_fp_tests: Print summary and give meaningful exit code * run_tests/run_fp_tests: Include tests and failures in top-level XML entity * run_tests/run_fp_tests: Use failure not error for XML output The former is the standard tag for normal test failures, the latter is for catastrophic things like test harness errors. * Run ISA tests in CI