Skip to content
CI

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

Sign in to view logs

Set up CI minimization resumption run for ci-metacoq

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
5h 27m 40s
5h 27m 40s