Team2890/allwpilib
4
0
Fork 0
mirror of https://github.com/wpilibsuite/allwpilib synced 2026-06-19 00:41:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

[ci] Rename comment command from "/wpiformat" to "/format" (#4755)

Browse Source 
It now runs more than just wpiformat.
This commit is contained in:
Tyler Veness
2022-12-02 18:24:06 -08:00
committed by GitHub
parent 6e23985ae6
commit 13cdc29382
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/comment-command.yml vendored
View File

@@ -4,8 +4,8 @@ on:
types: [ created ]
jobs:
wpiformat:
if: github.event.issue.pull_request && startsWith(github.event.comment.body, '/wpiformat')
format:
if: github.event.issue.pull_request && startsWith(github.event.comment.body, '/format')
runs-on: ubuntu-22.04
steps:
- name: React Rocket
@@ -60,5 +60,5 @@ jobs:
git config user.name "github-actions[bot]"
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
# Commit
git commit -am "wpiformat"
git commit -am "Formatting fixes"
git push