Skip to content
Run CI tests

Add support form theory atoms, and most theory terms (unparsed wip). #51

Sign in to view logs

Add support form theory atoms, and most theory terms (unparsed wip).

Add support form theory atoms, and most theory terms (unparsed wip). #51

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test on ubuntu-latest
1m 19s
test on macos-latest
2m 31s
test on windows-latest
2m 31s
6m 21s