Skip to content
Remove Label

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

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 #10176

Triggered via issue October 25, 2025 17:52
@garesgares
commented on #28761 6c1b386
Status Success
Total duration 12s
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