Add support for quantifiers #4270
qinhepingrelease.yml
on: pull_request
BuildBundle-MacOs-ARM
4m 12s
Matrix: TestBundle
Matrix: TestLocalToolchain
Package Docker
Annotations
4 warnings
|
BuildBundle-MacOs-ARM
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
|
|
BuildBundle-MacOs-ARM
python@3.13 3.13.3 is already installed and up-to-date.
To reinstall 3.13.3, run:
brew reinstall python@3.13
|
|
BuildBundle-MacOs
Already linked: /usr/local/Cellar/python@3.13/3.13.3
|
|
BuildBundle-MacOs
python@3.13 3.13.3 is already installed and up-to-date.
To reinstall 3.13.3, run:
brew reinstall python@3.13
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
kani-latest-aarch64-apple-darwin.tar.gz
Expired
|
94.5 MB |
sha256:b2049e7c8f1cb149ce89cf436c4473a57fc60831919fdd834d6777425ad6832a
|
|
|
kani-latest-x86_64-apple-darwin.tar.gz
Expired
|
99.6 MB |
sha256:6cf39ee898235670104040ef6c706bbcccc774a752d438ba332308ed53025afc
|
|
|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
Expired
|
124 MB |
sha256:a3ee994178fe8b885630dc8c5e14ab2359d6dd75f2642eb9d0c3f90143c4e75a
|
|
|
linux-kani-verifier.crate
Expired
|
24.6 KB |
sha256:cbbb65dfd7e93e892e4cbaf14ace081ebe7f2d1ac364b204f4ac393bc2ab22b7
|
|
|
macos-13-kani-verifier.crate
Expired
|
24.6 KB |
sha256:554c09bcde54b48ad4b7c8e7901a21fb407ad70582a9163f74742bfc72886cde
|
|
|
macos-14-kani-verifier.crate
Expired
|
24.6 KB |
sha256:1165c85fb84549bc95579827eb579127946d3f57a19516e8967d8032254bb32b
|
|