aboutsummaryrefslogtreecommitdiff
path: root/ci-tests/test-spike
AgeCommit message (Expand)AuthorFilesLines
2024-03-07workaround to support custom extensions that use standard prefixesAlexander Romanov1-1/+4
2023-01-11Refactor build-spike out of test-spike.Tim Newsome1-9/+0
2022-12-16Add github actions test that installed headers are usableJerry Zhao1-0/+4
2022-10-05Engage non-virtual-dtor warning in CI testsAndrew Waterman1-1/+1
2022-10-04Expand set of warnings we error on in CIAndrew Waterman1-1/+1
2022-09-23Actually run a program in CIAndrew Waterman1-0/+8
2022-09-23In CI, check that help message prints without errorAndrew Waterman1-0/+3
2022-09-22Run CI with -WerrorAndrew Waterman1-1/+1
2020-09-22Add basic continuous-integration flowAndrew Waterman1-0/+11