aboutsummaryrefslogtreecommitdiff
path: root/ci-tests
AgeCommit message (Expand)AuthorFilesLines
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 Waterman3-0/+51
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