Skip to content

Add CI using setup-ocaml (Github Actions) #1

Add CI using setup-ocaml (Github Actions)

Add CI using setup-ocaml (Github Actions) #1

build (ubuntu-latest, 4.08)

succeeded Mar 2, 2024 in 5m 33s