diff --git a/.github/workflows/check-patches.yml b/.github/workflows/check-patches.yml new file mode 100644 index 00000000..ecdaf0d7 --- /dev/null +++ b/.github/workflows/check-patches.yml @@ -0,0 +1,18 @@ +name: Check patches +on: + push: + pull_request: + types: [opened, synchronize, reopened] +jobs: + check-patches: + name: Check patches + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v1 + - name: Refresh patches + run: make refresh-patches GLUON_SITEDIR="contrib/ci/minimal-site" + - name: Show diff + run: git status; git diff + - name: Patch status + run: git diff-files --quiet +