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