Skip to content
Kind2 CI

Reject quantified bounds with non-constant refinement types #1595

Sign in to view logs

Reject quantified bounds with non-constant refinement types

Reject quantified bounds with non-constant refinement types #1595

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-latest)
5m 29s
kind2-build (macos-13)
11m 35s
kind2-build (macos-14)
8m 26s
25m 30s