Update Kani Metrics #1854
Triggered via pull request
January 16, 2026 19:19
tautschnig
tautschnig
submitted
#522
Status
Success
Total duration
15s
Artifacts
–
pr_approval.yml
on: pull_request_review
check-approvals
11s