From 66be68534e50a60e21a2c671ca8095ab0affd278 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Robert?= Date: Mon, 23 Dec 2024 13:15:23 +0100 Subject: [PATCH] MNT: give a unique name to documentation build workflows --- .github/workflows/idefix-ci-doc.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/idefix-ci-doc.yml b/.github/workflows/idefix-ci-doc.yml index 72b5dd0b..03640465 100644 --- a/.github/workflows/idefix-ci-doc.yml +++ b/.github/workflows/idefix-ci-doc.yml @@ -1,4 +1,4 @@ -name: Idefix CIs +name: Build the docs on: workflow_dispatch: push: