aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/test-results.yml
AgeCommit message (Collapse)AuthorFilesLines
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