Skip to content
Opam build

Avoid duplicate builds of mathcomp in CI #15

Sign in to view logs

Avoid duplicate builds of mathcomp in CI

Avoid duplicate builds of mathcomp in CI #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
8m 36s
8m 36s