From 1c1fd76d050c6c5f0b12827c474cff389acab612 Mon Sep 17 00:00:00 2001 From: AntwortEinesLebens Date: Mon, 6 Jan 2025 22:28:05 +0100 Subject: [PATCH] =?UTF-8?q?ci:=20=F0=9F=A4=96=20Rename=20the=20file=20to?= =?UTF-8?q?=20a=20better=20name?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit What is this awful name for the CI file? You don't name your CI file by the name of the tool you use :( --- .github/workflows/{mkdoc.yaml => documentation.yaml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{mkdoc.yaml => documentation.yaml} (100%) diff --git a/.github/workflows/mkdoc.yaml b/.github/workflows/documentation.yaml similarity index 100% rename from .github/workflows/mkdoc.yaml rename to .github/workflows/documentation.yaml