update docker push workflow to allow manual trigger

openml · Dec 3, 2024 · f169bcf · f169bcf
1 parent 6875966
commit f169bcf
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/release_docker.yml b/.github/workflows/release_docker.yml
@@ -11,6 +11,8 @@ on:
         - "docker/Dockerfile"
         - "docs/Docker reference/Docker.md"
 
+  workflow_dispatch:  # allows manual trigger to the workflow
+
 jobs:
   build-and-push:
     runs-on: ubuntu-latest