Merge remote-tracking branch 'origin/main' into ci-time-info

.github/workflows/verify-devcontainers.yml

@@ -11,8 +11,10 @@ permissions:
   contents: read
 
 jobs:
-  verify-make-devcontainers:
+  get-devcontainer-list:
     name: Verify devcontainer files are up-to-date
+    outputs:
+      devcontainers: ${{ steps.get-list.outputs.devcontainers }}
     runs-on: ubuntu-latest
     steps:
     - name: Checkout repository
@@ -36,16 +38,6 @@ jobs:
         else
           echo "::note::Dev Container files are up-to-date."
         fi
-
-  get-devcontainer-list:
-    needs: verify-make-devcontainers
-    name: Get list of devcontainer.json files
-    runs-on: ubuntu-latest
-    outputs:
-      devcontainers: ${{ steps.get-list.outputs.devcontainers }}
-    steps:
-    - name: Check out the code
-      uses: actions/checkout@v3
     - name: Get list of devcontainer.json paths and names
       id: get-list
       run: |

ci-overview.md

@@ -38,7 +38,7 @@ Special commands are provided that can be included in commit messages to direct
 
 Use these commands judiciously. While they offer flexibility, they should be used appropriately to maintain the codebase's integrity and quality.
 
-### Temporarily Overriding the Pull Requeest Matrix
+### Temporarily Overriding the Pull Request Matrix
 
 If a workflow named `override` exists in the matrix.yaml file, this matrix will be used for pull requests instead of the `pull_request` matrix.
 This is useful for reducing resource usage when launching many CI workflows from a PR (for example, while testing CI features).