Skip to content
Remove Label

2 packages from rocq-prover/vsrocq at 2.3.2 #10171

Sign in to view logs

2 packages from rocq-prover/vsrocq at 2.3.2

2 packages from rocq-prover/vsrocq at 2.3.2 #10171

Triggered via issue October 24, 2025 20:44
@jmidjmid
commented on #28761 6c1b386
Status Success
Total duration 13s
Artifacts –

unlabel.yml

on: issue_comment
remove_label
3s
remove_label
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
remove_label
Error: failed to remove labels: needs reporter action
remove_label
failed to remove label: needs reporter action: HttpError: Resource not accessible by integration