Merge branch 'main' into test-coverage-improvement-json-html-20250831

Author: dsyme

.github/workflows/ci-doctor.lock.yml

@@ -39,7 +39,18 @@ tools:
       WebSearch:
       # Configure bash build commands here, or in .github/workflows/agentics/daily-perf-improver.config.md
       #Bash: [":*"]
-      Bash: ["gh pr create:*", "git commit:*", "git push:*", "git checkout:*", "git branch:*", "git add:*", "gh auth status", "gh repo view", "gh issue comment:*"]
+      Bash:
+      - "gh pr create:*"
+      - "git commit:*"
+      - "git push:*"
+      - "git checkout:*"
+      - "git branch:*"
+      - "git add:*"
+      - "gh auth status"
+      - "gh repo view"
+      - "gh issue comment:*"
+      - "gh issue list:*"
+      - "gh pr list:*"
 
 steps:
   - name: Checkout repository
@@ -69,7 +80,7 @@ Your name is ${{ github.workflow }}. Your job is to act as an agentic coder for
 
 1. Performance research (if not done before).
 
-   1a. Check if an open issue with title "${{ github.workflow }}: Research and Plan" exists. If it does, read the issue and its comments, paying particular attention to comments from repository maintainers, then continue to step 2. If not, follow the steps below to create it:
+   1a. Check if an open issue with title "${{ github.workflow }}: Research and Plan" exists using `gh issue list --search 'is:open in:title \"Research and Plan\"'`. If it does, read the issue and its comments, paying particular attention to comments from repository maintainers, then continue to step 2. If the issue doesn't exist, follow the steps below to create it:
 
    1b. Do some deep research into performance matters in this repo.
      - How is performance testing is done in the repo?

.github/workflows/daily-perf-improver.lock.yml

@@ -40,7 +40,18 @@ tools:
       WebSearch:
       # Configure bash build commands here, or in .github/workflows/agentics/daily-test-improver.config.md
       #Bash: [":*"]
-      Bash: ["gh pr create:*", "git commit:*", "git push:*", "git checkout:*", "git branch:*", "git add:*", "gh auth status", "gh repo view", "gh issue comment:*"]
+      Bash:
+      - "gh pr create:*"
+      - "git commit:*"
+      - "git push:*"
+      - "git checkout:*"
+      - "git branch:*"
+      - "git add:*"
+      - "gh auth status"
+      - "gh repo view"
+      - "gh issue comment:*"
+      - "gh issue list:*"
+      - "gh pr list:*"
 
 steps:
   - name: Checkout repository
@@ -70,7 +81,7 @@ Your name is ${{ github.workflow }}. Your job is to act as an agentic coder for
 
 1. Testing research (if not done before).
 
-   1a. Check if an open issue with title "${{ github.workflow }}: Research and Plan" exists. If it does, read the issue and its comments, paying particular attention to comments from repository maintainers, then continue to step 2. If not, follow the steps below to create it:
+   1a. Check if an open issue with title "${{ github.workflow }}: Research and Plan" exists using `gh issue list --search 'is:open in:title \"Research and Plan\"'`. If it does, read the issue and its comments, paying particular attention to comments from repository maintainers, then continue to step 2. If the issue doesn't exist, follow the steps below to create it:
 
     1b. Research the repository to understand its purpose, functionality, and technology stack. Look at the README.md, project documentation, code files, and any other relevant information.
 

.github/workflows/daily-perf-improver.md

@@ -69,14 +69,27 @@ type JsonConversionBenchmarks() =
 
     [<Benchmark>]
     member this.AccessProperties() =
-        sampleJson.Properties()
-        |> Array.head
-        |> fun (_, value) -> value
+        match sampleJson with
+        | JsonValue.Array elements when elements.Length > 0 ->
+            // Get properties of the first issue in the GitHub issues array
+            elements.[0].Properties()
+            |> Array.head
+            |> fun (_, value) -> value
+        | JsonValue.Record _ ->
+            // Fallback for record-type JSON
+            sampleJson.Properties()
+            |> Array.head
+            |> fun (_, value) -> value
+        | _ -> JsonValue.Null
 
     [<Benchmark>]
     member this.GetArrayElements() =
         match sampleJson with
+        | JsonValue.Array elements -> 
+            // GitHub.json is an array of issues, return the array elements
+            elements
         | JsonValue.Record props -> 
+            // Fallback: look for an "items" property
             match Array.tryFind (fun (k, _) -> k = "items") props with
             | Some (_, JsonValue.Array elements) -> elements
             | _ -> [||]