Skip to content

Bump taiki-e/install-action from 2.56.7 to 2.58.8 #5182

Bump taiki-e/install-action from 2.56.7 to 2.58.8

Bump taiki-e/install-action from 2.56.7 to 2.58.8 #5182

Triggered via pull request August 13, 2025 17:08
Status Success
Total duration 9m 47s
Artifacts

ci.yml

on: pull_request
Matrix: Kani Proofs
Matrix: Rust Actions (Check/Fmt/Clippy)
Fit to window
Zoom out
Zoom in

Annotations

3 warnings and 6 notices
buf
No github_token supplied, API requests will be subject to stricter rate limiting
Rust Actions (Check/Fmt/Clippy) (macos-latest, check)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Rust Actions (Check/Fmt/Clippy) (macos-latest, clippy)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Rust Actions (Check/Fmt/Clippy) (macos-latest, fmt)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Rust Actions (Check/Fmt/Clippy) (macos-latest, check)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Rust Actions (Check/Fmt/Clippy) (macos-latest, check)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Rust Actions (Check/Fmt/Clippy) (macos-latest, clippy)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Rust Actions (Check/Fmt/Clippy) (macos-latest, clippy)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520