Update Kani Metrics #1867
Triggered via pull request
February 1, 2026 22:53
feliperodri
feliperodri
submitted
#536
Status
Success
Total duration
12s
Artifacts
–
pr_approval.yml
on: pull_request_review
check-approvals
8s