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

fix: Remove errant pluses from a bad merge. #12290

Sign in to view logs

fix: Remove errant pluses from a bad merge.

fix: Remove errant pluses from a bad merge. #12290

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