Merge commit '02c5a6472fcbc888039cf0b1159757b3c7a2fcf5'

This commit is contained in:
github-actions[bot] 2025-06-26 18:19:20 +00:00
commit 8d00fbd2a5

View File

@ -1,3 +1,4 @@
# This workflow lints the subtrees.json file to ensure it is valid and up-to-date.
name: Lint subtrees.json
on: