Skip to content

ci - add *-checked #116

ci - add *-checked

ci - add *-checked #116

Triggered via push July 27, 2023 14:22
Status Success
Total duration 6m 40s
Artifacts
Matrix: build
ocaml-general-checked
0s
ocaml-general-checked
Fit to window
Zoom out
Zoom in