Skip to content
Remove Label

[new release] elpi (2.0.2) #6000

Sign in to view logs

[new release] elpi (2.0.2)

[new release] elpi (2.0.2) #6000

Triggered via issue November 26, 2024 07:01
@garesgares
commented on #26937 ed26474
Status Skipped
Total duration 3s
Artifacts –

unlabel.yml

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