Skip to content

Bump docker/setup-buildx-action from 3.10.0 to 3.11.1 (#1401) #5004

Bump docker/setup-buildx-action from 3.10.0 to 3.11.1 (#1401)

Bump docker/setup-buildx-action from 3.10.0 to 3.11.1 (#1401) #5004

Triggered via push July 1, 2025 00:22
Status Success
Total duration 9m 3s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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

Annotations

1 warning
buf
No github_token supplied, API requests will be subject to stricter rate limiting