Fix permissions in extra_jobs.yml #5364
tautschnigrelease.yml
on: pull_request
BuildBundle-MacOs-x86_64
10m 25s
BuildBundle-MacOs-aarch64
5m 22s
BuildBundle-Linux-x86_64
6m 6s
BuildBundle-Linux-aarch64
13m 41s
Matrix: TestBundle
Matrix: TestLocalToolchain
Package Docker
0s
Annotations
4 warnings
|
BuildBundle-MacOs-aarch64
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.7
|
|
BuildBundle-MacOs-aarch64
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
|
BuildBundle-MacOs-x86_64
Already linked: /usr/local/Cellar/python@3.13/3.13.7
|
|
BuildBundle-MacOs-x86_64
python@3.13 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall python@3.13
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
aarch64-apple-darwin-kani-verifier.crate
Expired
|
28.1 KB |
sha256:b862b8306e8b059d125bfc30aa1fc95bb1d0091eeecae39ced718060603752d1
|
|
|
aarch64-unknown-linux-gnu-kani-verifier.crate
Expired
|
28.1 KB |
sha256:13a15bab102efae0685a13521d5b0f5773c7ea936c737507a9e5e907d99c1d83
|
|
|
kani-latest-aarch64-apple-darwin.tar.gz
Expired
|
100 MB |
sha256:602d9d1de88f96aff8fe42fe4359a836f7f4d7f2f7bade0b37612e0d8b70494f
|
|
|
kani-latest-aarch64-unknown-linux-gnu.tar.gz
Expired
|
132 MB |
sha256:36d72e6ab9a0371ed88689dcde962da98a6a10bdaaac93bd4306499333580671
|
|
|
kani-latest-x86_64-apple-darwin.tar.gz
Expired
|
105 MB |
sha256:3058ed1e5d2f9c4ea16c74aed5c92b136859d007f40168b98ae7e6b5f77d3f74
|
|
|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
Expired
|
137 MB |
sha256:a5b5ae4fd188414143c3edb32274a5d5408d65c69723742f8c3054ba5ba664e9
|
|
|
x86_64-apple-darwin-kani-verifier.crate
Expired
|
28.1 KB |
sha256:7c3c954772d9cc8e931781e2965f5d1f3f2d1d96d1564b95ea959d12c598ea23
|
|
|
x86_64-unknown-linux-gnu-kani-verifier.crate
Expired
|
28.1 KB |
sha256:98a6ff160e6972ce0f32ed117cfc52d2f872a8dc517a7bc44b7402486736236f
|
|