From caadc06947dac488b48a5014f943ba362229dd92 Mon Sep 17 00:00:00 2001
From: Robbert van der Helm <mail@robbertvanderhelm.nl>
Date: Mon, 11 Apr 2022 16:55:51 +0200
Subject: [PATCH] Rename docs workflow

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index d4c0697c..24a74bd0 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,4 +1,4 @@
-name: Generate documentation
+name: Docs
 
 on:
   push: