Check PR Approvals

Update Kani Metrics #1859

Sign in to view logs

Triggered via pull request January 18, 2026 20:32

tautschnig

submitted #522

Status Success

Total duration 15s

Artifacts –

pr_approval.yml

on: pull_request_review

check-approvals