Skip to content

Ignore unmaintained errors (#1111) #3475

Ignore unmaintained errors (#1111)

Ignore unmaintained errors (#1111) #3475

Triggered via push November 12, 2024 02:49
Status Success
Total duration 34m 34s
Artifacts

ci.yml

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

Annotations

2 errors and 2 warnings
action-sha-pin-check
unable to access 'https://github.com/DataDog/lading/': Failed to connect to github.com port 443 after 133650 ms: Connection timed out
action-sha-pin-check
unable to access 'https://github.com/DataDog/lading/': Failed to connect to github.com port 443 after 133337 ms: Connection timed out
buf
No github_token supplied, API requests will be subject to stricter rate limiting
Rust Actions (Check/Fmt/Clippy) (macos-latest)
macOS's Gatekeeper has been disabled for this Cask