From a2b5fb8374ed2c3df1b9f2c11ba6455dc6ec6f30 Mon Sep 17 00:00:00 2001
From: Mark Schmitt <31215086+MarkSchmitt@users.noreply.github.com>
Date: Fri, 8 Jan 2021 20:42:17 +0100
Subject: [PATCH] Fix name of documentation workflow

---
 .github/workflows/documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 12bd3577d..67047d6cd 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -1,4 +1,4 @@
-name: backend-tests
+name: documentation
 
 # always run documentation workflow to ensure the documentation can still be built
 on: push