Skip to content
Check Std Verification

Bump Kani version to 0.57.0 #972

Sign in to view logs

Bump Kani version to 0.57.0

Bump Kani version to 0.57.0 #972

Triggered via pull request December 16, 2024 15:09
@tautschnigtautschnig
synchronize #3777
tautschnig:release-kani-0.57.0
Status Success
Total duration 4m 35s
Artifacts –

verify-std-check.yml

on: pull_request
Matrix: verify-std
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 2 warnings
verify-std (macos-14)
Process completed with exit code 1.
verify-std (macos-14)
Process completed with exit code 1.
verify-std (ubuntu-22.04)
Process completed with exit code 1.
verify-std (ubuntu-22.04)
Process completed with exit code 1.
verify-std (macos-14)
[email protected] 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall [email protected]
verify-std (macos-14)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.1