Debug further

leanprover-community · Aug 30, 2024 · eb24240 · eb24240
1 parent 8f62642
commit eb24240
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -81,10 +81,13 @@ jobs:
 
       - name: "check the formatting of the PR title and for missing or inconsistent labels"
         # TODO: skip this check if the PR is in draft stage!
+        shell: bash # just in case
         run: |
           set -eo pipefail
           title=${{github.event.pull_request.title}}
+          echo $title
           label_names=${{github.event.pull_request.labels[*].name}}
+          echo $label_names
           lake exe check-title-labels $title $label_names
 
       - name: Install bibtool