Fix bug when checking realizability but not environment #1517
lorchrobAnnotations
2 warnings
|
kind2-build (macos-14)
rustup is outdated!
To avoid broken installations, as soon as possible please run:
brew upgrade
Or, if you're OK with a less reliable fix:
brew upgrade rustup
|
|
kind2-build (macos-12)
rustup is outdated!
To avoid broken installations, as soon as possible please run:
brew upgrade
Or, if you're OK with a less reliable fix:
brew upgrade rustup
|