aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)AuthorFilesLines
2023-06-12ci: CI should check each commit in a PRJerry Zhao1-4/+18
2023-01-11Automatically test that external debug still works.Tim Newsome1-0/+64
2023-01-11Refactor build-spike out of test-spike.Tim Newsome1-2/+6
2022-12-15Add github actions test on macosJerry Zhao2-1/+13
2020-09-22Add basic continuous-integration flowAndrew Waterman2-0/+30