Back to pull request #381

Update dependency cryptominisat to v5.11.22 #2803

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build everything	15s
clang tests everything	19s
Gather coverage metrics	20s
	54s