Label PRs with artifacts #3230
Triggered via workflow run
August 31, 2026 18:20
leanprover-bot
completed
2799106
Status
Skipped
Total duration
1s
Artifacts
–