From 7d040df46822126cbd8095c38a95631c0d0f4ae9 Mon Sep 17 00:00:00 2001
From: Max Ole Elliger <ole.elliger@fau.de>
Date: Thu, 25 Jul 2024 00:20:13 +0200
Subject: [PATCH] fix: Updated the name of the workflow artifact

---
 meta.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/meta.yml b/meta.yml
index 0a400b1..82f0855 100644
--- a/meta.yml
+++ b/meta.yml
@@ -22,6 +22,7 @@ action_appendix: |2-
         - name: Upload Artifact
           uses: actions/upload-artifact@v4
           with:
+            name: html-output
             path: public
         - name: Revert Coq user permissions
           # to avoid a warning at cleanup time