Include instructions to disable workflow #36

rl-institut · Aug 14, 2023 · 61caf4c · 61caf4c
1 parent dd5f10f
commit 61caf4c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docs/development/documentation/index.md b/docs/development/documentation/index.md
@@ -39,7 +39,9 @@ A commit on the `production` branch triggers the workflow.
 !!! note "Common python styles"
     This feature is not compatible with the versioning of the documentation with `mike`.
     The action overrides all manually deployed versions!
-    `This workflow was disabled manually.`
+git 
+🐙 To disable an existing `GitHub Action`, follow these instructions:<br>
+https://docs.github.com/de/enterprise-cloud@latest/actions/using-workflows/disabling-and-enabling-a-workflow
 
 ### Mike
 The package [mike](https://github.com/jimporter/mike) is used to deploy [multiple versions](https://squidfunk.github.io/mkdocs-material/setup/setting-up-versioning/?h=versioning) of the documentation.<br>