diff --git a/.github/workflows/code_format_check.yml b/.github/workflows/code_format_check.yml new file mode 100644 index 0000000..2637ded --- /dev/null +++ b/.github/workflows/code_format_check.yml @@ -0,0 +1,29 @@ +name: Check coding style + +on: + push: + branches: [ "master" ] + pull_request: + branches: [ "master" ] + +jobs: + verify: + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v4 + - name: Install astyle + run: sudo apt-get install astyle + - name: Formatting code + run: bash code_format.sh + working-directory: tools + - name: Check Code + shell: bash + run: | + set -o pipefail + if ! (git diff --exit-code | tee /tmp/_diff.patch); then + echo "Please fix the code format before submitting the code, by running 'tools/code_format.sh'" + exit 1 + fi + +