ci: rename workflow

This commit is contained in:
Michael Currin committed 2021-06-08 18:01:22 +02:00
1 parent 828bf66208
commit 158e6dc938
2 files changed
+2 -2

No files matched your search

+1 -1
View File
@@ -1,4 +1,4 @@
name: Deploy docs
name: Deploy Docs
on:
push: