Fix name of documentation workflow

This commit is contained in:
Mark Schmitt 2021-01-08 20:42:17 +01:00
parent f4f9200fba
commit a2b5fb8374

View File

@ -1,4 +1,4 @@
name: backend-tests
name: documentation
# always run documentation workflow to ensure the documentation can still be built
on: push