Skip to content
check

Fix Arend proof searcher, the bug with {?} and patternmatching on constructors #549

Sign in to view logs

Fix Arend proof searcher, the bug with {?} and patternmatching on constructors

Fix Arend proof searcher, the bug with {?} and patternmatching on constructors #549

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gradle (ubuntu-latest, 17)
5m 40s
gradle (macos-latest, 17)
27m 16s
32m 56s