Skip to content
Testable simd models

Update Kani Metrics #56

Sign in to view logs

Update Kani Metrics

Update Kani Metrics #56

Triggered via pull request November 17, 2025 12:06
@tautschnigtautschnig
reopened #514
update-kani-metrics
Status Success
Total duration 4m 1s
Artifacts –

testable-simd-models.yml

on: pull_request
Test testable simd models
3m 56s
Test testable simd models
Fit to window
Zoom out
Zoom in