Skip to content
CI (Coq, Debian)

[CI] [Debian] sudo work around broken git config #923

Sign in to view logs

[CI] [Debian] sudo work around broken git config

[CI] [Debian] sudo work around broken git config #923

Run time

Learn about OS pricing on GitHub Actions
Job Run time
debian-sid
14s
debian-sid
9s
debian-sid
11s
debian-sid
3h 1m 14s
test-standalone-host
0s
test-standalone-host
0s
test-standalone-host
0s
test-standalone-container
0s
test-standalone-container
0s
test-standalone-container
0s
publish-standalone-dry-run
0s
publish-standalone-dry-run
0s
publish-standalone-dry-run
0s
publish-standalone-dry-run
15s
debian-check-all
1s
debian-check-all
1s
debian-check-all
1s
debian-check-all
7s
test-standalone-host (sid)
12s
test-standalone-container (sid)
19s
3h 2m 44s