Rename docs workflow

This commit is contained in:
Robbert van der Helm
2022-04-11 16:55:51 +02:00
parent 755780f2a9
commit caadc06947

View File

@@ -1,4 +1,4 @@
name: Generate documentation
name: Docs
on:
push: