Skip to content

add mk_term with ops #14

add mk_term with ops

add mk_term with ops #14

build (self-hosted, 4.14)

succeeded Apr 13, 2024 in 11m 39s
Set up job
3s
Checkout
2s
Setup OCaml 4.14
3m 19s
Install dependencies
29s
Build
7m 36s
Test
1s
Post Setup OCaml 4.14
4s
Post Checkout
0s
Complete job
0s