GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-11-29 13:55:51 +03:00
Code Issues Projects Releases Wiki Activity
367cdd0240
what4/.github/workflows
History
Kevin Quick e09e2edffd
Use stable nix version to ensure GHC availability in CI.
2021-03-25 08:44:19 -07:00
..
test.yml Use stable nix version to ensure GHC availability in CI. 2021-03-25 08:44:19 -07:00