| commit | e1daa78d187ebfff273d5706c446420886077e88 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 14 16:40:05 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 14 16:40:05 2024 -0400 |
| tree | 6d107640989492375c8fd7f80c334a02116fb209 | |
| parent | 27b7092af3c65f4dc48e75d0c309ac776854e319 [diff] [blame] |
ci: add release workflow [skip ci] Change-Id: I00c747e84ac8075e24473b746dc81a8a80eb5449
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: {}