Remove formatting bot workflow (#1348)

This commit is contained in:
Archit Gupta 2025-05-09 14:09:20 -07:00 committed by GitHub
parent 1ca9fd442f
commit 9b50dc160b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,34 +0,0 @@
name: Format Pull Request Files
on:
issue_comment:
types: [created]
env:
bashPass: \033[32;1mPASSED -
bashInfo: \033[33;1mINFO -
bashFail: \033[31;1mFAILED -
bashEnd: \033[0m
jobs:
Formatting:
name: Run Formatting Check
if: ${{ github.event.issue.pull_request &&
( ( github.event.comment.body == '/bot run uncrustify' ) ||
( github.event.comment.body == '/bot run formatting' ) ) }}
runs-on: ubuntu-latest
steps:
- name: Apply Formatting Fix of Common Files
id: check-formatting-of-common
uses: FreeRTOS/CI-CD-Github-Actions/formatting-bot@main
continue-on-error: true
with:
path: FreeRTOS/Demo/Common
exclude-dirs: ethernet, drivers
- name: Apply Formatting Fix
id: check-formatting-of-rest
uses: FreeRTOS/CI-CD-Github-Actions/formatting-bot@main
continue-on-error: true
with:
exclude-dirs: ethernet, drivers, FreeRTOS/Demo