diff options
| author | gingerBill <bill@gingerbill.org> | 2022-07-24 22:46:07 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2022-07-24 22:46:07 +0100 |
| commit | 2bdbce55f9d7b2b17322bf3879df446e77da70a6 (patch) | |
| tree | 75e3e8f77a7b32f65af13db05fa89524ed1f3d79 /.github | |
| parent | 9614ca92f0a141d972b654c94b7dc6ae37c4e3b1 (diff) | |
| parent | d30e59f539e651af079668b15b2f20349cad21f1 (diff) | |
Merge branch 'master' of https://github.com/odin-lang/Odin
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d72775636..e6341671a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,5 +1,5 @@ name: CI -on: [push, pull_request] +on: [push, pull_request, workflow_dispatch] jobs: build_linux: |