Skip to content
Instant Sync

feat(batch_driver): wire alt-ergo, metamath, cadical — 13 active provers #86

Sign in to view logs

feat(batch_driver): wire alt-ergo, metamath, cadical — 13 active provers

feat(batch_driver): wire alt-ergo, metamath, cadical — 13 active provers #86

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dispatch
3s
3s