Merge branch 'main' of github.com:32bitmicro/LLVM-Embedded-Toolchain

32bitmicro · Jun 14, 2024 · 41245c0 · 41245c0
2 parents 3f46d3b + 34efaa3
commit 41245c0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docker-publish.yml b/.github/workflows/docker-publish.yml
@@ -14,6 +14,8 @@ on:
     tags: [ 'v*.*.*' ]
   pull_request:
     branches: [ "main" ]
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch: ~
 
 env:
   # Use docker.io for Docker Hub if empty