Label PRs with artifacts #3105
Triggered via workflow run
August 10, 2026 16:09
leanprover-bot
completed
02d0d61
Status
Skipped
Total duration
1s
Artifacts
–