diff options
| author | Finlay Davidson <finlay.davidson@coderclass.nl> | 2022-07-10 16:46:24 +0200 |
|---|---|---|
| committer | JF <JF002@users.noreply.github.com> | 2022-07-19 11:53:56 +0200 |
| commit | fdad3fc98568b5eff7c0f2729b868b8c12ce7c77 (patch) | |
| tree | 5783c04f03e3e9e6f4e49a586da21d295d72bd4f /.github/workflows/main.yml | |
| parent | 2497749715c987e32b74fd74e32ce55b5877d248 (diff) | |
Fix Docker workflow not pushing on manual trigger
Also fix issue where workflow fails on pull requests when the
user who made the pull request doesn't have the secrets set.
Also allow other workflows to be triggered manually.
Also don't trigger any workflows on pull requests to master, as
there shouldn't be any pull requests against master.
Diffstat (limited to '.github/workflows/main.yml')
| -rw-r--r-- | .github/workflows/main.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index eebd54bd..69cdb715 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -12,10 +12,12 @@ on: - 'doc/**' - 'images/**' pull_request: - branches: [ master, develop ] + branches: [ develop ] paths-ignore: - 'doc/**' - 'images/**' + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: jobs: build: |