Skip to content
Stainless CI

Some tweaks to Leon-era propositional logic benchmark #102

Sign in to view logs

Some tweaks to Leon-era propositional logic benchmark

Some tweaks to Leon-era propositional logic benchmark #102

Run time

Learn about OS pricing on GitHub Actions
Job Run time
tests
1h 0m 3s
fail_if_pull_request_is_draft
0s
1h 0m 3s