workflows/docs: remove comment.

This commit is contained in:
Mike McQuaid 2025-06-12 16:39:55 +01:00 committed by GitHub
parent 577f01c30e
commit 9541ad8931
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,4 +1,3 @@
# This file is synced from `Homebrew/brew` by the `.github` repository, do not modify it directly.
name: Documentation CI name: Documentation CI
on: on: