aboutsummaryrefslogtreecommitdiff
path: root/ci-tests/build-spike
AgeCommit message (Expand)AuthorFilesLines
2025-10-02Build tests in CI rather than downloading a tarball from githubAndrew Waterman1-8/+14
2025-10-01Actually use -Werror in CI againAndrew Waterman1-1/+3
2025-04-16Enable many more warnings in CIAndrew Waterman1-1/+1
2024-07-16Check in CI that all installed headers are usableAndrew Waterman1-1/+1
2023-06-17Run 'make check' in CIAndrew Waterman1-0/+1
2023-06-12ci: CI should check each commit in a PRJerry Zhao1-0/+2
2023-01-11Use nproc or hw.ncpu instead of -j4 to build spike.Tim Newsome1-1/+1
2023-01-11Refactor build-spike out of test-spike.Tim Newsome1-0/+14