Getting Started Documentation

Organisations ocaml-gospel gospel pull/396 Build History

Build History for pull/396

Builds (13)

Clean up documentation and update Changelog

May 13 13:40 +00:00

Passed in 8h44m

Update Changelog

May 13 13:26 +00:00

Passed in 5m26s

May 13 13:21 +00:00

Failed in 4m32s

Update Changelog

May 13 12:43 +00:00

Passed in 14m33s

May 10 21:51 +00:00

Passed in 55m37s

May 10 21:47 +00:00

clean up documentation

May 10 08:51 +00:00

Passed in 2h20m

fixed tests and id pretty print

Apr 10 22:02 +00:00

Passed in 11m21s

fixed tests and id pretty print

Apr 09 17:05 +00:00

Passed in 7m49s

fixed tests and id pretty print

Apr 09 14:46 +00:00

Passed in 9m36s

modules now have the name of the files in which they are declared

Apr 05 16:04 +00:00

Passed in 1h03m

modules now have the name of the files in which they are declared

Apr 05 14:48 +00:00

Failed in 24m25s

modules now have the name of the files in which they are declared

Apr 05 14:46 +00:00

Failed in 2m07s