Merge pull request #15 from bpkroth/disable-old-docker-package-registry

bpkroth · Jan 14, 2021 · 0fa4cdc · 0fa4cdc
2 parents 94a8710 + 36ebd09
commit 0fa4cdc
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -11,6 +11,10 @@ name: CI
 # Controls when the action will run. Triggers the workflow on push or pull request
 # events but only for the main branch
 on:
+ workflow_dispatch:
+ inputs:
+ tags:
+ description: 'Manual CI run'
  push:
  branches: [ main ]
  pull_request: