GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-07 16:29:42 +03:00
Code Issues Projects Releases Wiki Activity
3,615 Commits 67 Branches 28 Tags 96 MiB
9d6319078f
Commit Graph

1 Commits

Author SHA1 Message Date
Ryan Scott
0d4b555cf0 CI: Upgrade from 9.2.2 to 9.2.4 
This is needed to work around https://gitlab.haskell.org/ghc/ghc/-/issues/20592
on macOS.
 2022-08-15 08:16:19 -04:00