Getting Started
Documentation
Organisations
robur-coop
miou
f948a7
Merge pull request #86 from robur-coop/ci Add a GitHub CI system
f948a7
-
-
-
main
Build History
0s
Cancel
Rebuild
Rebuild All
Rebuild Failed
(analysis)
Created at -
-
- in queue
Ran for -
*Variants labelled
(experimental)
are still undergoing testing; if they have failed it may be a bug in OCaml-CI.