diff options
| author |  arl <[email protected]> | 2022-08-07 18:29:47 -0400 |
|---|---|---|
| committer |  onerandomusername <[email protected]> | 2022-11-05 17:03:46 -0400 |
| commit | ed74d7bcf7b101d876bcfb8539ee636132a2f12f (patch) | |
| tree | 5d4d06732ad4eabe334136ea895b29233612df58 | |
| parent | Merge pull request #156 from onerandomusername/update-actions-checkout (diff) | |
allow manual rebuilds of the container
| -rw-r--r-- | .github/workflows/main.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index b581ba3..11bcabd 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -5,6 +5,7 @@ on: branches: - main pull_request: + workflow_dispatch: jobs: build: |