Skip to content
Continuous integration

Try saving z3 log files in cache #68

Sign in to view logs

Try saving z3 log files in cache

Try saving z3 log files in cache #68

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy
40s
format
7s
test
59s
1m 46s