Flux

Update Kani Metrics #289

Sign in to view logs

Triggered via pull request November 3, 2025 15:03

tautschnig

reopened #511

update-kani-metrics

Status Success

Total duration 17m 38s

Artifacts –

flux.yml

on: pull_request

check-flux-on-core

Annotations

1 warning

check-flux-on-core

Cache not found for keys: v0-rust-check-flux-on-core-Linux-x64-8461fd0b-e81a699f, v0-rust-check-flux-on-core-Linux-x64-8461fd0b