Skip to content
CI (Coq, Arch Linux)

Downgrade actions/{download,upload}-artifact 4=>3 (#1802) #25

Sign in to view logs

Downgrade actions/{download,upload}-artifact 4=>3 (#1802)

Downgrade actions/{download,upload}-artifact 4=>3 (#1802) #25

Run time

Learn about OS pricing on GitHub Actions
Job Run time
archlinux
3h 19m 34s
test-standalone
24s
publish-standalone-dry-run
18s
archlinux-check-all
1s
3h 20m 17s