Skip to content
CI

Set up CI minimization resumption run for ci-metacoq #1604

Sign in to view logs

Set up CI minimization resumption run for ci-metacoq

Set up CI minimization resumption run for ci-metacoq #1604

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
5h 23m 45s
5h 23m 45s