Skip to content
CI (Coq, Debian)

Merge pull request #2053 from JasonGross/print-rewriting-pass-default #1210

Sign in to view logs

Merge pull request #2053 from JasonGross/print-rewriting-pass-default

Merge pull request #2053 from JasonGross/print-rewriting-pass-default #1210

Run time

Learn about OS pricing on GitHub Actions
Job Run time
debian-sid
3h 9m 13s
test-standalone-container (sid)
14s
publish-standalone-dry-run
14s
test-standalone-host (sid)
18s
debian-check-all
4s
3h 10m 3s