Skip to content
Rust CI

Fix Kani proof helper exports #310

Sign in to view logs

Fix Kani proof helper exports

Fix Kani proof helper exports #310

Triggered via push July 3, 2026 16:05
@eldryotheldryoth
pushed 031d12e
main
Status Success
Total duration 1h 4m 14s
Artifacts –

ci.yml

on: push
Format, lint, test, and audit
2m 2s
Format, lint, test, and audit
Miri
1h 4m
Miri
Matrix: platform
Matrix: rust-version-compat
Matrix: target-build
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Platform tests (macos-latest)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167