Skip to content
CI

Set up CI minimization run for ci-metacoq #1910

Sign in to view logs

Set up CI minimization run for ci-metacoq

Set up CI minimization run for ci-metacoq #1910

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1h 39m 1s
1h 39m 1s