GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-12-01 20:23:10 +03:00
Code Issues Projects Releases Wiki Activity
9318e3690a
what4/.github/workflows
History
Kevin Quick 9318e3690a
[what4] Add github action build and test.
2021-01-26 16:19:40 -08:00
..
test.yml [what4] Add github action build and test. 2021-01-26 16:19:40 -08:00