From 91b9301becf502a89ed8bd6b91d56000116059ad Mon Sep 17 00:00:00 2001 From: Ettore Di Giacinto Date: Fri, 31 Oct 2025 14:40:50 +0100 Subject: [PATCH] Rename workflow from 'Bump dependencies' to 'Bump Documentation' Signed-off-by: Ettore Di Giacinto --- .github/workflows/bump_docs.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/bump_docs.yaml b/.github/workflows/bump_docs.yaml index ccc98a23e..057a8f30b 100644 --- a/.github/workflows/bump_docs.yaml +++ b/.github/workflows/bump_docs.yaml @@ -1,10 +1,10 @@ -name: Bump dependencies +name: Bump Documentation on: schedule: - cron: 0 20 * * * workflow_dispatch: jobs: - bump: + bump-docs: strategy: fail-fast: false matrix: