Skip to content
Scala CI

Auto-including well-foundedness functions and axioms when they are used #677

Sign in to view logs

Auto-including well-foundedness functions and axioms when they are used

Auto-including well-foundedness functions and axioms when they are used #677

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (windows-latest, 11)
6m 30s
test (ubuntu-latest, 11)
5m 37s
test (macos-latest, 11)
8m 19s
20m 26s