CI

cryptominisat 5.14.2 #772193

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formulae_detect	56s
tap_syntax (stable)	3m 3s
tap_syntax	4m 4s
report_analytics	13s
setup_tests	11s
setup_dep_tests	8s
setup_runners	40s
setup_dep_runners	2m 23s
Linux x86_64	7m 39s
macOS 26-arm64	6m 40s
macOS 15-arm64	7m 47s
Linux arm64	6m 7s
macOS 14-arm64	8m 9s
macOS 14-x86_64	17m 29s
macOS 26-arm64 (deps)	4m 4s
Linux x86_64 (deps)	4m 7s
macOS 14-arm64 (deps)	4m 21s
macOS 15-arm64 (deps)	4m 22s
macOS 14-x86_64 (deps)	2m 20s
conclusion	3s
	1h 24m 46s

⚡