Getting Started
Documentation
Organisations
ocaml-gospel
gospel
5a0bb0
Merge pull request #456 from mrjazzybread/type-checker-dev-meeting Tiago notes
5a0bb0
-
Dec 18 21:56 +00:00
-
type-checker-dev-meeting
Build History
7m21s
Cancel
Rebuild
Rebuild All
Rebuild Failed
(analysis)
Created at Dec 18 21:56 +00:00
-
5m26s in queue
Ran for 1m55s
*Variants labelled
(experimental)
are still undergoing testing; if they have failed it may be a bug in OCaml-CI.