[Product Pull Request] fix: increase grading rounding precision to avoid incorrect grades #782
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow runs when a comment is made on the ticket | |
| # If the comment starts with "label: " it tries to apply | |
| # the label indicated in rest of comment. | |
| # If the comment starts with "remove label: ", it tries | |
| # to remove the indicated label. | |
| # Note: Labels are allowed to have spaces and this script does | |
| # not parse spaces (as often a space is legitimate), so the command | |
| # "label: really long lots of words label" will apply the | |
| # label "really long lots of words label" | |
| name: Allows for the adding and removing of labels via comment | |
| on: | |
| issue_comment: | |
| types: [created] | |
| jobs: | |
| add_remove_labels: | |
| uses: openedx/.github/.github/workflows/add-remove-label-on-comment.yml@master | |