Skip to content
Allows for the adding and removing of labels via comment

fix: Treat github usernames in a case-insensitively #250

Sign in to view logs

fix: Treat github usernames in a case-insensitively

fix: Treat github usernames in a case-insensitively #250

Run time

Learn about OS pricing on GitHub Actions
Job Run time
add_remove_labels / add_label
0s
add_remove_labels / remove_label
0s
0s