Skip to content

Update GitHub Actions #165

Update GitHub Actions

Update GitHub Actions #165

build (ubuntu-latest, 5.0)

succeeded May 7, 2024 in 9m 14s
Set up job
1s
Checkout tree
0s
Set-up OCaml
4m 3s
Re-install OpenSSL on macOS
0s
Run opam install . --deps-only
4m 6s
Run opam exec -- make
1m 0s
Post Set-up OCaml
0s
Post Checkout tree
0s
Complete job
0s