Merge commit '6a325b52d5ee1821aa7de84d111c6354e36fb0d6'

This commit is contained in:
github-actions[bot] 2025-06-26 18:27:07 +00:00
commit b92227fe9a

View File

@ -1,4 +1,5 @@
# This workflow lints the subtrees.json file to ensure it is valid and up-to-date.
# It is triggered on pull requests that modify the subtrees.json file or can be run manually
name: Lint subtrees.json
on: