Merge branch 'main' into prague2-fork

This commit is contained in:
Cal Bera 2025-09-10 10:07:09 -07:00 committed by GitHub
commit 6d120a362c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -4,7 +4,7 @@ on:
push: push:
branches: [ main, "release/*" ] branches: [ main, "release/*" ]
pull_request: pull_request:
branches: [ main ] branches: [ main, "release/*" ]
workflow_dispatch: workflow_dispatch:
jobs: jobs: