Back to pull request #381

Update dependency cryptominisat to v5.11.22 #2802

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build everything	15s
clang tests everything	24s
Gather coverage metrics	20s
	59s