ci: split make and check steps

Author: JohelEGP

.github/workflows/check.yml

@@ -6,6 +6,10 @@ on:
   pull_request:
   push:
 
+defaults:
+  run:
+    working-directory: source
+
 jobs:
   run-checks:
     name: Run checks
@@ -15,5 +19,7 @@ jobs:
       - uses: actions/checkout@v2
       - name: install
         run: sudo apt-get install latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended texlive-generic-recommended lmodern
+      - name: make
+        run: make quiet
       - name: check
-        run: cd source && make quiet && ../tools/check.sh
+        run: ../tools/check.sh