aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/pr.yml3
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 8625c11..f5e8385 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -1,9 +1,10 @@
+name: Check that `make build` does not produce additional changes
on:
pull_request:
branches:
- master
jobs:
- run:
+ check:
runs-on: ubuntu-latest
steps:
- name: Set up Python