Skip to content
Check for empty PR

feat: always record per-declaration heartbeat costs #6633

Sign in to view logs

feat: always record per-declaration heartbeat costs

feat: always record per-declaration heartbeat costs #6633

Triggered via pull request September 1, 2026 00:27
@dennjdennj
synchronize #14712
Latinum-Formal-Methods:heartbeat-sidecar
Status Success
Total duration 2m 15s
Artifacts –

check-empty-pr.yml

on: pull_request
check-empty-pr
2m 12s
check-empty-pr
Fit to window
Zoom out
Zoom in