Skip to content
ci

overhaul the trigger-printing flags to support printing manually chosen triggers #6344

Sign in to view logs

overhaul the trigger-printing flags to support printing manually chosen triggers

overhaul the trigger-printing flags to support printing manually chosen triggers #6344

Run time

Learn about OS pricing on GitHub Actions
Job Run time
smoke-test-and-release-macos-x86
12m 26s
fmt
55s
smoke-test-and-release-windows
8m 36s
smoke-test-and-release-linux
6m 46s
test-and-release-macos
10m 34s
test-and-release-macos (record-history)
3m 1s
test-and-release-macos (no-std)
3m 8s
test-and-release-macos (no-alloc)
2m 59s
test-and-release-macos (singular)
3m 49s
test-and-release-macos (cvc5)
3m 2s
release
0s
55m 16s