Give a shorter, simpler name to github workflow to deploy docs

This commit is contained in:
Debanjum
2025-01-12 10:52:34 +07:00
parent 51a774c993
commit 6bd9f6bb61

View File

@@ -1,4 +1,4 @@
name: build and deploy github pages for documentation
name: deploy documentation
on:
push:
branches: