Build

Make settings of cli commands a concrete type #1338

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	3m 55s
build (ubuntu-latest, 4.14)	6m 1s
build (macos-latest, 5.3)	8m 55s
build (ubuntu-latest, 5.3)	2m 55s
Test alt-ergo-lib	3m 22s
build (macos-latest, 4.14)	8m 43s
Test z3	20m 4s
Test colibri2	3m 57s
Test bitwuzla-cxx	5m 46s
Test cvc5	31m 45s
	1h 35m 23s