GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-12 04:17:04 +03:00
Code Issues Projects Releases Wiki Activity
737 Commits 68 Branches 28 Tags 95 MiB
579b129c2f
Commit Graph

3 Commits

Author SHA1 Message Date
Adam C. Foltzer
8ad498ca57 disable email notifications for travis 2014-04-27 21:54:18 -07:00
Adam C. Foltzer
924de3f152 install the Cabal library before starting the Travis build 2014-04-27 21:33:38 -07:00
Adam C. Foltzer
2b6642457b add travis.yml 2014-04-27 21:27:57 -07:00