len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-07 13:45:00 -05:00
Code Issues Projects Releases Packages Wiki Activity

Update the formatting bot (#1095)

Browse source
This commit is contained in:
Soren Ptak 2023-10-05 16:15:03 -07:00 • committed by GitHub
parent f1472b138f
commit d73470e936
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 16 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

20
.github/workflows/formatting.yml vendored
View file

@ -13,11 +13,23 @@ env:
jobs:
Formatting:
name: Run Formatting Check
if: ${{ github.event.issue.pull_request }} &&
if: ${{ github.event.issue.pull_request &&
( ( github.event.comment.body == '/bot run uncrustify' ) ||
( github.event.comment.body == '/bot run formatting' ) )
( github.event.comment.body == '/bot run formatting' ) ) }}
runs-on: ubuntu-20.04
steps:
- name: Apply Formatting Fix
- name: Apply Formatting Fix of Common Files
id: check-formatting-of-common
uses: FreeRTOS/CI-CD-Github-Actions/formatting-bot@main
id: check-formatting
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