ci

ci: refactor for maintainability and optimize for latency #8100

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	3m 15s
fmt	1m 10s
test (macos-x86_64)	7m 53s
test (macos)	9m 3s
test (linux)	5m 48s
test (macos-no-std)	3m 24s
test (macos-no-alloc)	2m 26s
test (macos-record-history)	5m 56s
test (windows)	8m 47s
test (macos-cvc5)	6m 32s
test (macos-singular)	2m 57s
build-docs	5s
release	0s
test (macos)	9m 3s
build-docs	5s
test (macos-no-std)	3m 24s
test (linux)	5m 48s
test (macos-record-history)	5m 56s
test (macos-no-alloc)	2m 26s
test (macos-x86_64)	7m 53s
test (macos-cvc5)	6m 32s
test (macos-singular)	2m 57s
test (windows)	8m 47s
docs	3m 15s
release	0s
fmt	1m 10s
	1h 54m 32s