Merge branch 'master' into Issue#2442

This commit is contained in:
Paul Pfeister 2025-09-20 20:21:48 -04:00
commit 1e38fb6f7b
No known key found for this signature in database
GPG Key ID: 70D33A96CBD7A994
1 changed files with 2 additions and 0 deletions

View File

@ -10,6 +10,8 @@ on:
jobs:
validate-modified-targets:
runs-on: ubuntu-latest
permissions:
issues: write
steps:
- name: Checkout repository
uses: actions/checkout@v5