From e553d70d4ac9923a39a7368106692a6ff058102a Mon Sep 17 00:00:00 2001
From: Herman Sletmoen <hermansletmoen@gmail.com>
Date: Wed, 4 Dec 2024 18:01:41 +0100
Subject: [PATCH] Update workflow name

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

diff --git a/.github/workflows/ContinuousIntegration.yml b/.github/workflows/ContinuousIntegration.yml
index c60518d1..9ee08d97 100644
--- a/.github/workflows/ContinuousIntegration.yml
+++ b/.github/workflows/ContinuousIntegration.yml
@@ -58,7 +58,7 @@ jobs:
           make --directory class_public class
           mkdir -p $HOME/.local/bin/
           ln -s $PWD/class_public/class $HOME/.local/bin/ # ~/.local/bin is in $PATH, so now the command "class" is available
-      - name: Configure doc environment
+      - name: Configure documentation environment
         shell: julia --project=docs --color=yes {0}
         run: |
           using Pkg