Ubuntu

Update dependency cryptominisat to v5.11.14 #2227

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build everything	47m 31s
Gather coverage metrics	1h 35m 48s
clang tests everything	1h 21m 45s
	3h 45m 4s