GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-26 22:29:08 +03:00
Code Issues Projects Releases Wiki Activity
94a32f9a04
cryptol/.github
History
Aaron Tomb 94a32f9a04 Disable RPC tests on macOS 
They’re stalling for unknown reasons, and aren’t as critical as the
others. Running the  Linux tests is the most critical.
2021-09-17 11:20:34 -07:00
..
workflows Disable RPC tests on macOS 2021-09-17 11:20:34 -07:00
ci.sh Include abc in with-solvers tarballs 2021-09-15 13:11:30 -07:00
pr-labeler.yml Implement GitHub actions (#722) 2020-05-14 10:50:22 -07:00
release-drafter.yml Implement GitHub actions (#722) 2020-05-14 10:50:22 -07:00
wix.ps1 Implement GitHub actions (#722) 2020-05-14 10:50:22 -07:00