diff options
author | Michaël Ball <git@michaelball.name> | 2022-07-04 11:54:39 +0100 |
---|---|---|
committer | Michaël Ball <git@michaelball.name> | 2022-07-04 11:54:39 +0100 |
commit | 0397bfa0f26fed33d9d6de02ace629025505e68f (patch) | |
tree | e9f5ba3af5bbc8d9f07d7cae779769fb90eaa2bb /.github/workflows/pr.yml | |
parent | 2ebcc12fcd5c74a4258dd0c517cf9182db6f7abc (diff) | |
parent | 3890dd461c5e9cdeb1818ff3697578f18d55b6d0 (diff) |
Diffstat (limited to '.github/workflows/pr.yml')
-rw-r--r-- | .github/workflows/pr.yml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml new file mode 100644 index 0000000..7d412ae --- /dev/null +++ b/.github/workflows/pr.yml @@ -0,0 +1,23 @@ +name: Check that running `make` does not produce additional changes +on: + pull_request: + branches: + - master +jobs: + check: + runs-on: ubuntu-latest + steps: + - name: Set up Python + uses: actions/setup-python@v1 + with: + python-version: 3.8 + - name: Upgrade pip + run: python -m pip install --upgrade pip + - name: Install pybase16 + run: pip install pybase16-builder + - name: Fetch the repository code + uses: actions/checkout@v2 + - name: Run make + run: make + - name: Check if there are changes + run: git diff --exit-code |