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
f5646f0558
what4/.github/workflows
History
Rob Dockins f5646f0558 Pin CI to ubuntu-18.04
2021-02-02 15:27:13 -08:00
..
test.yml Pin CI to ubuntu-18.04 2021-02-02 15:27:13 -08:00