| commit | 53021742940a81897ddd10f29135bba5c08ffb57 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 14 17:00:03 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 14 17:00:03 2024 -0400 |
| tree | dda2c7094b1014f3b244c72a5556832664b970a5 | |
| parent | 78926bd43bbc3c7bb0e1f4099da7fa49b7222e3c [diff] [blame] |
ci: add release workflow [skip ci] Change-Id: Ia6efbac360d6f3bc409fed82a887f312ad2d5c87
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8cbb310..e7a8305 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml
@@ -1,6 +1,8 @@ name: CI on: push: + branches: + - '**' workflow_dispatch: permissions: {}