Release Bundle

Add loop-contracts doc to SUMMARY #3710

Sign in to view logs

Triggered via pull request February 12, 2025 18:28

qinheping

opened #3886

qinheping:docs/loop-contracts

Status Success

Total duration 15m 1s

Artifacts 6

release.yml

on: pull_request

BuildBundle-MacOs

BuildBundle-Linux

BuildBundle-MacOs-ARM

Matrix: TestBundle

Matrix: TestLocalToolchain

Annotations

1 error and 4 warnings

BuildBundle-MacOs

The `brew link` step did not complete successfully

BuildBundle-MacOs-ARM

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.2

BuildBundle-Linux

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101

TestBundle (ubuntu-20.04)

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101

TestLocalToolchain (ubuntu-20.04)

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101

Artifacts

Produced during runtime

Name	Size
kani-latest-aarch64-apple-darwin.tar.gz Expired	92.7 MB
kani-latest-x86_64-apple-darwin.tar.gz Expired	99.1 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired	124 MB
linux-kani-verifier.crate Expired	24 KB
macos-13-kani-verifier.crate Expired	24 KB
macos-14-kani-verifier.crate Expired	24 KB