CI: better ci workflow names

This commit is contained in:
NotAShelf 2023-04-15 11:44:12 +03:00
commit 844c4c5974
No known key found for this signature in database
GPG key ID: F0D14CCB5ED5AA22
2 changed files with 3 additions and 3 deletions

View file

@ -1,4 +1,4 @@
name: Github Pages docs
name: "Build and deploy documentation"
on:
workflow_dispatch:
push: