Skip to content
Scala CI

Fixing precondition treatment in termination plugin proof methods #749

Sign in to view logs

Fixing precondition treatment in termination plugin proof methods

Fixing precondition treatment in termination plugin proof methods #749

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (windows-latest, 11)
5m 23s
test (ubuntu-latest, 11)
4m 9s
test (macos-latest, 11)
5m 49s
15m 21s