Skip to content
Kind2 CI

Fix bug when checking realizability but not environment #1517

Sign in to view logs

Fix bug when checking realizability but not environment

Fix bug when checking realizability but not environment #1517

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04)
5m 26s
kind2-build (macos-12)
10m 42s
kind2-build (macos-14)
7m 12s
23m 20s