Skip to content
TypeScript/JavaScript Blocker

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

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 #187

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
7s
7s