fix: proper name for documentation build workflow

Signed-off-by: John Molakvoæ <skjnldsv@users.noreply.github.com>
This commit is contained in:
John Molakvoæ
2025-06-12 10:42:09 +02:00
committed by GitHub
parent 4f9f1c9f96
commit 9f0d709a6a

View File

@@ -1,4 +1,4 @@
name: "Pull Request Docs Check"
name: "Build documentation"
on:
pull_request: