diff options
| author | Michael Williamson <mike@zwobble.org> | 2025-12-20 14:53:34 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2025-12-20 14:53:34 +0000 |
| commit | 1d10f5947daaf785451c5a4804e1353fd619e312 (patch) | |
| tree | e30c8b1f3b96ae6fbc2f36971c28ffa783294eb7 | |
| parent | df4e57a03adbb5d85665ecd51436e51cb913b21d (diff) | |
Full build on workflow dispatch
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c68fb05..ab22f7e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -3,7 +3,7 @@ name: Build on: [push, pull_request, workflow_dispatch] env: - FULL_BUILD: ${{ (github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/')) }} + FULL_BUILD: ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/')) }} jobs: tests: |