Getting Started
Documentation
Organisations
mirage
digestif
branch/main
Build History
Build History for branch/main
Builds (8)
Merge pull request #155 from reynir/feed-hmac Implement feedable hmac
dcaaec
-
Jan 08 11:36 +00:00
Passed in 9h36m
Merge pull request #157 from jonahbeckford/fix-camlextern Use CAMLextern in caml_ forward declarations
aaf616
-
Jan 08 11:35 +00:00
Failed in 55s
Merge pull request #158 from hannesm/add-main add x-maintenance-intent field to the opam file
21a57b
-
Jan 08 11:34 +00:00
Failed in 31s
Merge pull request #153 from mirage/prepare-v1.2.0 Prepare v1.2.0
c5d37a
-
Dec 19 06:24 +00:00
Passed in 22m44s
Merge pull request #149 from mirage/get_into_bytes Implement get_into_bytes
4687e4
-
Mar 14 13:06 +00:00
Passed in 45m48s
Merge pull request #152 from reynir/fmt-lower-bound Add lower bound on fmt
dba4d2
-
Mar 14 12:38 +00:00
Failed in 23m23s
Merge pull request #150 from mirage/hash_ Add a new type hash', a polymorphic variant
3e3887
-
Mar 14 12:38 +00:00
Running for 0s
Merge pull request #146 from Leonidas-from-XIV/descr-update Update description to include SHA3
0e601a
-
Mar 11 22:04 +00:00
Passed in 19h01m