Skip to content
Kind2 CI

Keep ghost vars when checking realizability of a node's environment #1603

Sign in to view logs

Keep ghost vars when checking realizability of a node's environment

Keep ghost vars when checking realizability of a node's environment #1603

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-latest)
6m 17s
kind2-build (macos-13)
10m 41s
kind2-build (macos-14)
7m 28s
24m 26s