[check] Cosmetics

Author: jensmaurer

.github/workflows/check.yml

@@ -2,12 +2,11 @@
 
 name: check
 
-on:
-  pull_request:
-  push:
+on: [pull_request, push]
 
 defaults:
   run:
+    shell: bash
     working-directory: source
 
 jobs:
@@ -16,18 +15,25 @@ jobs:
     runs-on: ubuntu-20.04
 
     steps:
-      - uses: actions/checkout@v2
-      - name: check-source
+      - name: checkout
+        uses: actions/checkout@v2
+
+      - name: check-source.sh
         run: ../tools/check-source.sh
+
       - name: update-apt-cache
         run: sudo apt-get update
+
       - name: install
         run: sudo apt-get install latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended lmodern
+
       - name: make
         run: make quiet
-      - name: check-output
+
+      - name: check-output.sh
         run: ../tools/check-output.sh
-      - name: upload pdf
+
+      - name: upload PDF
         uses: actions/upload-artifact@v2
         with:
           name: draft-snapshot