Merge pull request #1081 from daniel-larraz/ic3ia-gen-prop #1511
daniel-larrazAnnotations
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
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
kind2-macos-12
Expired
|
2.87 MB |
|
|
kind2-macos-14
Expired
|
3.23 MB |
|
|
kind2-ubuntu-20.04
Expired
|
4.4 MB |
|