[CI] Removed uncrustify action until dubious ownership error is fixed

pull/700/head
jgromes 2023-03-05 18:16:16 +01:00
rodzic 8392cea011
commit d1ab3cd9b0
1 zmienionych plików z 0 dodań i 28 usunięć

Wyświetl plik

@ -1,28 +0,0 @@
name: "Uncrustify"
on:
push:
branches: [master]
#pull_request:
# branches: [master]
jobs:
uncrustify:
name: Uncrustify
runs-on: ubuntu-latest
env:
run-uncrust: ${{ contains(github.event.head_commit.message, 'Bump version to') || contains(github.event.head_commit.message, 'CI_FORCE_UNCRUST') || github.event_name == 'pull_request' }}
steps:
- name: Checkout repository
if: ${{ env.run-uncrust == 'true' }}
uses: actions/checkout@v3
- name: Workaround for https://github.com/actions/runner-images/issues/6775
run: git config --global --add safe.directory /github/workspace
- name: Run style check
if: ${{ env.run-uncrust == 'true' }}
uses: coleaeason/actions-uncrustify@v1
with:
configPath: 'uncrustify.cfg'