ci: 🤖 Rename the file to a better name

What is this awful name for the CI file? You don't name your CI file by the name of the tool you use :(
frack113 · Jan 6, 2025 · 1c1fd76 · 1c1fd76
1 parent f805a2f
commit 1c1fd76
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/mkdoc.yaml → .github/workflows/documentation.yaml b/.github/workflows/mkdoc.yaml → .github/workflows/documentation.yaml