Skip to content
Build time benchmarks

Merge pull request #11094 from rlepigre/coqdep-flags #2637

Sign in to view logs

Merge pull request #11094 from rlepigre/coqdep-flags

Merge pull request #11094 from rlepigre/coqdep-flags #2637

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (ubuntu-latest, 5.1.x)
14m 23s
14m 23s