Skip to content
Build with opam

run on github changes #5

Sign in to view logs

run on github changes

run on github changes #5

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
21m 46s
build
18m 23s
40m 9s