Label PRs with artifacts #3228
Triggered via workflow run
August 29, 2026 23:57
leanprover-bot
completed
2799106
Status
Skipped
Total duration
1s
Artifacts
–