From 2aaa792dad80f1f73a1d808e5fdae4fb3b5ee5b2 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Tue, 17 Nov 2020 10:45:56 +0100
Subject: [PATCH] gh_actions: give a name to the circleci doc artifact action

---
 .github/workflows/circleci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/circleci.yml b/.github/workflows/circleci.yml
index fe38dced5b..ef1d0447f7 100644
--- a/.github/workflows/circleci.yml
+++ b/.github/workflows/circleci.yml
@@ -1,3 +1,4 @@
+name: doc-build-artifact
 on: [status]
 jobs:
   circleci_artifacts_redirector_job: