Skip to content
Check conflicts

Bench: export TIMED=1 (enable coq_makefile per file timings) #4019

Sign in to view logs

Bench: export TIMED=1 (enable coq_makefile per file timings)

Bench: export TIMED=1 (enable coq_makefile per file timings) #4019

Run time

Learn about OS pricing on GitHub Actions
Job Run time
main
4s
4s