Getting Started
Documentation
Organisations
ocaml-gospel
gospel
pull/390
Build History
Build History for pull/390
Builds (5)
account for new merge
c2fc98
-
Jun 06 13:19 +00:00
Passed in 41m54s
formatting
d76965
-
Mar 23 17:00 +00:00
Passed in 4m21s
reverted test
bfdd9c
-
Mar 23 16:54 +00:00
Failed in 4m17s
fix axiom location
274c24
-
Mar 23 16:47 +00:00
Failed in 4m14s
forgotten artefact
bc0877
-
Mar 23 15:00 +00:00
Passed in 5m48s