| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-07-26 | GitHub: Updating CI scripts | Jaakko Keränen | |
| 2021-07-26 | GitHub: Updating CI scripts | Jaakko Keränen | |
| 2021-07-26 | GitHub: Updated CI build environment | Jaakko Keränen | |
| 2020-12-09 | GitHub: Trying out git-archive-all | Jaakko Keränen | |
| 2020-11-29 | GitHub: Maybe the locales aren't installed? | Jaakko Keränen | |
| 2020-11-29 | GitHub: Maybe the right locale is missing | Jaakko Keränen | |
| 2020-11-29 | GitHub: UTF-8 issue in package signing | Jaakko Keränen | |
| Maybe this helps, who knows. | |||
| 2020-11-29 | GitHub: Problem with CI script | Jaakko Keränen | |
| 2020-11-29 | GitHub: Trying out some automated build rules | Jaakko Keränen | |
| 2020-11-08 | Updated Debian/Ubuntu packaging files | Jaakko Keränen | |
| 2020-10-25 | Add github workflow for debian packaging | Manos Pitsidianakis | |
| 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. | |||
 |
index : lagrange.git | |
| summaryrefslogtreecommitdiff |