Skip to content
Kind2 CI

When checking imported node realizability, need both node contract and environment #1444

Sign in to view logs

When checking imported node realizability, need both node contract and environment

When checking imported node realizability, need both node contract and environment #1444

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04)
5m 3s
kind2-build (macos-12)
9m 47s
kind2-build (macos-14)
7m 10s
22m 0s