15 Commits (bfe100fbd39443498a413acd3f5d7852e6c1e3eb)

Author SHA1 Message Date
Andrew Waterman 7e389e824f Quiet the CI logs 8 months ago
Alexander Romanov 7d43d38e4a fix: log store only if it actually happened 1 year ago
Alexander Romanov adafbd3240 feat: add possibility for custom CSRs 2 years ago
Andrew Waterman aa73432e58 Check in CI that all installed headers are usable 2 years ago
Andrew Waterman fb2adef30e update c++ version to c++2a for CI tests 2 years ago
Andrew Waterman c96f57e0bb Fix warning by renaming C++ source to .cc 2 years ago
Alexander Romanov 7da36db7c1 workaround to support custom extensions that use standard prefixes 2 years ago
Tim Newsome 582f4d442e Refactor build-spike out of test-spike. 3 years ago
Jerry Zhao 46e6be48e9 Add github actions test that installed headers are usable 3 years ago
Andrew Waterman 054a4aa579 Engage non-virtual-dtor warning in CI tests 4 years ago
Andrew Waterman ab20d616ae Expand set of warnings we error on in CI 4 years ago
Andrew Waterman d17b176788 Actually run a program in CI 4 years ago
Andrew Waterman 1c227a1d3b In CI, check that help message prints without error 4 years ago
Andrew Waterman 7cf82d72f1 Run CI with -Werror 4 years ago
Andrew Waterman 648e16e778 Add basic continuous-integration flow 6 years ago