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

fix: increase grading rounding precision to avoid incorrect grades #13441

Sign in to view logs

fix: increase grading rounding precision to avoid incorrect grades

fix: increase grading rounding precision to avoid incorrect grades #13441

Run time

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