ocaml-ci
ocaml-ci copied to clipboard
ocurrent
A CI for OCaml projects
I sometimes use ocaml-ci-local for prototyping, it would be nice if it could also use the new UI. It currently uses `current_web`. I think it could be more-or-less doable to...
When building ocurrent the cached git project has an old gitsubmodule that should be removed when checking out a new commit. From the logs it looks like the `git reset...
This would allow us to report rich information back to GitHub PRs directly, potentially including: - success/failures in the compiler matrix (including 'non-fatal' beta compilers); - linting errors, for source...
## Background As part of ocaml-ci we should track useful metrics on a per-package basis, collecting them in grafana and provide a option for displaying them. ## Summary Some useful...
Currently Irmin's documentation does not build correctly when using Odoc 2.0.{1,2} (https://github.com/ocaml/odoc/issues/793), and as a result we have added an incompatibility with these versions to `irmin.opam` ([here](https://github.com/mirage/irmin/blob/ddf0ec90e373117701d6d689209bc746d4db92ab/irmin.opam#L37)). Unfortunately, `ocaml-ci` does...
Log Rules UI Improvements see https://ci.ocamllabs.io:8100/log-rules - [ ] Only display add / remove rule for users with those permissions - [x] Add option to download / upload log rules...
Somewhat related to #242, the pipeline needs some extra logic governing the base images pull schedule. At present, following a new OCaml release, ocaml-version is updated and new versions of...
Feel free to close this issue if I'm wrong but it seems that the jobs started by ocaml-ci when a dependency has been updated in opam-repository are started with a...
When a repository enables ocaml-ci, then disable it after some commit have been pushed the log files from those commits don't seem to be available anymore. For instance: https://ci.ocamllabs.io/github/ocaml-ppx/ppx/commit/40e5a35a4386d969effaf428078c900bd03b78ec/variant/(lint-fmt) previously...
I had pushed a branch with an updated git submodule, but forgot to push the submodule itself, so the CI couldn't fetch the submodule's commits. The error is cryptic. The...