Skip to content

Merge the CI workflows and stop using setup-ocaml #98

Merge the CI workflows and stop using setup-ocaml

Merge the CI workflows and stop using setup-ocaml #98

Triggered via pull request September 3, 2024 15:13
Status Success
Total duration 1h 46m 38s
Artifacts

linux-520.yml

on: pull_request
Fit to window
Zoom out
Zoom in