ci: debug (#1602)

Author: simonmichael

.github/workflows/linux.yml

@@ -104,6 +104,9 @@ jobs:
       # for a PR this will be: origin/master..origin/$GITHUB_HEAD_REF
       # for a push it will be: $BEFORE..
       run: |
+        echo A"$BEFORE"B
+        echo C"${BEFORE}"D
+        echo E"${BEFORE:-origin/master}"F
         bin/commitlint ${BEFORE:-origin/master}..${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF}
 
     # things to be cached/restored:

.github/workflows/push.yml

@@ -54,7 +54,10 @@ jobs:
       # for a PR this will be: master..origin/$GITHUB_HEAD_REF
       # for a push it will be: master..
       run: |
-        bin/commitlint origin/master..${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF}
+        echo A"$BEFORE"B
+        echo C"${BEFORE}"D
+        echo E"${BEFORE:-origin/master}"F
+        bin/commitlint ${BEFORE:-origin/master}..${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF}
 
     # things to be cached/restored: