2021-01-02 16:23:33 +00:00
|
|
|
---
|
2020-10-20 01:44:35 +00:00
|
|
|
name: Check patches
|
|
|
|
|
on:
|
|
|
|
|
push:
|
2021-01-02 16:23:33 +00:00
|
|
|
paths:
|
|
|
|
|
- 'modules'
|
|
|
|
|
- 'patches/**'
|
|
|
|
|
- '.github/workflows/check-patches.yml'
|
2020-10-20 01:44:35 +00:00
|
|
|
pull_request:
|
|
|
|
|
types: [opened, synchronize, reopened]
|
2021-01-02 16:23:33 +00:00
|
|
|
paths:
|
|
|
|
|
- 'modules'
|
|
|
|
|
- 'patches/**'
|
|
|
|
|
- '.github/workflows/check-patches.yml'
|
2020-10-20 01:44:35 +00:00
|
|
|
jobs:
|
|
|
|
|
check-patches:
|
|
|
|
|
name: Check patches
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
2021-08-10 19:06:33 +00:00
|
|
|
- uses: actions/checkout@v2
|
2020-10-20 01:44:35 +00:00
|
|
|
- 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
|
|
|
|
|
|
