GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-19 18:08:37 +03:00
Code Issues Projects Releases Wiki Activity
3,351 Commits 66 Branches 28 Tags 82 MiB
187a6a49c0
Commit Graph

2 Commits

Author SHA1 Message Date
Ryan Scott
cb1cf652ae Use test-lib-0.4 2022-01-13 15:12:57 -05:00
Ryan Scott
38935c0c51 CI: Test GHC 9.0.2 2022-01-12 09:41:48 -05:00