Skip to content
Continuous integration

Record smaps less often (#1236) #4085

Sign in to view logs

Record smaps less often (#1236)

Record smaps less often (#1236) #4085

Triggered via push February 6, 2025 22:34
@GeorgeHahnGeorgeHahn
pushed b89bf28
main
Status Success
Total duration 33m 32s
Artifacts –

ci.yml

on: push
cargo-deny
31s
cargo-deny
Test Suite
33m 23s
Test Suite
Integration Tests
3m 39s
Integration Tests
buf
6s
buf
actionlint
2s
actionlint
action-sha-pin-check
41s
action-sha-pin-check
Matrix: Kani Proofs
Matrix: Loom 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