fix(cryptominisat): environment variables for cadical/cadiback direct… #39

Sign in to view logs

Summary
Jobs
- Format
- Lint
- Build
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	9m 26s
Format	7s
Lint	9m 25s
	18m 58s