feat: solana AccountInfo generators for proofs #5907
feliperodrirelease.yml
on: pull_request
BuildBundle-MacOs-x86_64
15m 56s
BuildBundle-MacOs-aarch64
5m 40s
BuildBundle-Linux-x86_64
7m 22s
BuildBundle-Linux-aarch64
13m 43s
Matrix: TestBundle
Matrix: TestLocalToolchain
Package Docker
Annotations
4 warnings
|
BuildBundle-MacOs-aarch64
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.3_1
|
|
BuildBundle-MacOs-aarch64
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
|
BuildBundle-MacOs-x86_64
Already linked: /usr/local/Cellar/python@3.14/3.14.3_1
|
|
BuildBundle-MacOs-x86_64
python@3.14 3.14.3_1 is already installed and up-to-date.
To reinstall 3.14.3_1, run:
brew reinstall python@3.14
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
aarch64-apple-darwin-kani-verifier.crate
Expired
|
28.5 KB |
sha256:d953a755604ac78f8431ef4fad59966f3a2197f6f86fac19e4f989421449a26f
|
|
|
aarch64-unknown-linux-gnu-kani-verifier.crate
Expired
|
28.5 KB |
sha256:bfe1089d509b309b64dbe6f986f7f6b6c22997d26aeac5e156896367d36dd055
|
|
|
kani-latest-aarch64-apple-darwin.tar.gz
Expired
|
98.8 MB |
sha256:b882a811cb3391bb169440ff3d347ed65b80f673d469e8bfe9367460b4bc7cfa
|
|
|
kani-latest-aarch64-unknown-linux-gnu.tar.gz
Expired
|
130 MB |
sha256:a305419e6236dbb2cfcc887e8a285783f87558f453ddca9301157bcf8fbfbe47
|
|
|
kani-latest-x86_64-apple-darwin.tar.gz
Expired
|
104 MB |
sha256:92e0b54d89008b65de889bb23b4615ac7e05d1d0de00aa7a8374bd8c8c0a171f
|
|
|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
Expired
|
136 MB |
sha256:54c51b000007d00600a549aa7a494eb5a06c98260bddb93d7d8a730cfae89371
|
|
|
x86_64-apple-darwin-kani-verifier.crate
Expired
|
28.5 KB |
sha256:c5b60c7ffa7ee5d02a1626dc25374da79b37be57e81b6d3006a54b2b24cf7309
|
|
|
x86_64-unknown-linux-gnu-kani-verifier.crate
Expired
|
28.5 KB |
sha256:62af5bf5922f6cd752491a3e33b3756aa1acab4495945c5a0d4e555925042074
|
|