Getting Started Documentation

Organisations ocaml-gospel gospel pull/436 Build History

Build History for pull/436

Builds (5)

Add typing for application of arbitrary terms

Feb 17 23:22 +00:00

Passed in 5m09s

Jan 06 15:50 +00:00

Failed in 2m16s

Jan 06 15:47 +00:00

Failed in 2m08s

Jan 06 15:39 +00:00

Failed in 2m14s

Jan 06 15:32 +00:00

Failed in 7m03s