From a4dddec3bb8ea033d2905ef5ee704ec234351937 Mon Sep 17 00:00:00 2001
From: Fausto Núñez Alberro <fausto.nunez@mailbox.org>
Date: Sat, 6 Feb 2021 01:20:30 +0100
Subject: Properly name GitHub workflow

---
 .github/workflows/pr.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3