Fix workflow_dispatch: check out PR head before running, accept .yaml extension

Author: mre

.github/workflows/pr-check.yml

@@ -26,13 +26,22 @@ jobs:
         with:
           fetch-depth: 0
 
+      - name: Check out PR head for manual runs
+        if: github.event_name == 'workflow_dispatch'
+        run: |
+          PR_REF=$(gh pr view ${{ inputs.pr_number }} --repo ${{ github.repository }} --json headRefName --jq '.headRefName')
+          git fetch origin "$PR_REF"
+          git checkout FETCH_HEAD -- ${{ inputs.tool_files }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
       - name: Get changed tool files
         id: changed
         run: |
           if [ "${{ github.event_name }}" = "workflow_dispatch" ]; then
             FILES="${{ inputs.tool_files }}"
           else
-            FILES=$(git diff --name-only --diff-filter=A origin/master...HEAD -- 'data/tools/*.yml' | tr '\n' ' ')
+            FILES=$(git diff --name-only --diff-filter=A origin/master...HEAD -- 'data/tools/*.yml' 'data/tools/*.yaml' | tr '\n' ' ')
           fi
           echo "files=$FILES" >> "$GITHUB_OUTPUT"
 

ci/pr-check/src/main.rs

@@ -427,7 +427,11 @@ async fn main() -> Result<()> {
     let tool_paths: Vec<PathBuf> = tool_paths
         .into_iter()
         .filter(|p| {
-            p.starts_with("data/tools") && p.extension().and_then(|e| e.to_str()) == Some("yml")
+            p.starts_with("data/tools")
+                && matches!(
+                    p.extension().and_then(|e| e.to_str()),
+                    Some("yml") | Some("yaml")
+                )
         })
         .collect();