Merge branch 'main' into chore/docsgen

This commit is contained in:
Erica Marigold 2025-02-21 19:08:30 +00:00 committed by GitHub
commit b9b6722985
Signed by: DevComp
GPG key ID: B5690EEEBB952194

View file

@ -2,6 +2,8 @@ name: CI
on:
push:
branches:
- main
paths-ignore:
- '**/*.md'
- 'examples/**'