diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-10-25 02:08:15 +0300 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-10-25 02:08:15 +0300 |
commit | bcc61dc6eb62234947dd794a80b3e084a054164a (patch) | |
tree | 5f4ae5d53f0b893de37ce985213bf2669bc7acef /debian/control | |
parent | e5b6461ea3cf49254062387c0451cc0386a12b02 (diff) |
Add github workflow for debian packaging
Builds can be triggered manually (`workflow_dispatch`) and by pushing a
tagged release (`v*.*.*`)
- There's a plain build done in an amd64 ubuntu-latest image and tar'ed
- There's an amd64 ubuntu-latest deb package
- There's an amd64 debian buster deb package made in a docker container
Release is defined in the RELEASE_VERSION env var in the workflow
configuration but must also be changed in the debian/ metadata.
Diffstat (limited to 'debian/control')
0 files changed, 0 insertions, 0 deletions