Skip to content
Back to pull request #24

Don't raise UnusedElementError when used has more elems than Grammar #17

Sign in to view logs

Don't raise UnusedElementError when used has more elems than Grammar

Don't raise UnusedElementError when used has more elems than Grammar #17

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (3.7)
14s
build (3.8)
8s
build (3.9)
8s
build (3.10)
9s
39s