Windows

Made Logika Auto and Smt2 justifications to subsume natural deduction… #2111

Sign in to view logs

Summary
Jobs
- ci
- ci-native
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci	25m 35s
ci-native	27m 17s
	52m 52s