Skip to content
.github/workflows/ci.yml

Fix the issues with the cross-references for OCaml doc #89

Sign in to view logs

Fix the issues with the cross-references for OCaml doc

Fix the issues with the cross-references for OCaml doc #89

Triggered via push November 27, 2023 14:58
@sonmarchosonmarcho
pushed 6f8f121
son_improves
Status Success
Total duration 8m 11s
Artifacts –

ci.yml

on: push
nix
4m 4s
nix
lean
8m 1s
lean
Fit to window
Zoom out
Zoom in