| 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: Use git-archive-all also in Ubuntu build | Jaakko Keränen | |
| 2020-11-29 | GitHub: More descriptive build artifact names | Jaakko Keränen | |
| 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-11 | Debian: Updated changelog for 0.8.1 | Jaakko Keränen | |
| Do the Ubuntu CI build using 18.04. | |||
| 2020-11-08 | GitHub: Import a signing key for debuild | 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 |