From 61caf4cea97f19782136ded8e96657b35c9cd7f2 Mon Sep 17 00:00:00 2001 From: Ludee Date: Mon, 14 Aug 2023 11:07:15 +0200 Subject: [PATCH] Include instructions to disable workflow #36 --- docs/development/documentation/index.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/development/documentation/index.md b/docs/development/documentation/index.md index e75a124..6ff8339 100644 --- 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:
+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.