Skip to content
MetaCoq CI

Fix script due to misclassification of implicit arg as potential type… #2722

Sign in to view logs

Fix script due to misclassification of implicit arg as potential type…

Fix script due to misclassification of implicit arg as potential type… #2722

Run time

Learn about OS pricing on GitHub Actions
Job Run time
checktodos
4s
build (8.18, 4.09-flambda, opam)
32m 34s
build (8.18, 4.14-flambda, local)
32m 2s
build (8.18, 4.09-flambda, local)
34m 2s
build (8.18, 4.14-flambda, opam)
31m 57s
2h 10m 39s