z3 4.13.0 #359676

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formulae_detect	33s
tap_syntax	2m 23s
setup_tests	5s
setup_dep_tests	5s
setup_runners	44s
setup_dep_runners	2m 30s
Linux	5h 6m 6s
macOS 14-x86_64	14h 55m 45s
macOS 14-arm64	6h 26m 38s
macOS 13-x86_64	17h 9m 20s
macOS 13-arm64	6h 31m 50s
macOS 12-x86_64	1d 0h 9m 26s
macOS 12-arm64	6h 11m 23s
conclusion	1s
Linux (deps)	58m 33s
macOS 14-x86_64 (deps)	44m 59s
macOS 14-arm64 (deps)	23m 6s
macOS 13-x86_64 (deps)	56m 9s
macOS 13-arm64 (deps)	22m 40s
macOS 12-x86_64 (deps)	53m 46s
macOS 12-arm64 (deps)	21m 42s
	3d 13h 17m 44s