Skip to content
Deploy

Migrate coq/opam to use Inria GitLab instead of GitLab.com. (#324) #178

Sign in to view logs

Migrate coq/opam to use Inria GitLab instead of GitLab.com. (#324)

Migrate coq/opam to use Inria GitLab instead of GitLab.com. (#324) #178

Run time

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