Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-01 | build.py: handle errors from ssh in a better way | Helmut Grohne | |
Previously, it would retry immediately and produce empty log files marked as failures. When ssh fails, we no longer record a build nor log. We also wait a little before retrying. | |||
2019-03-24 | table buildreqeusts should have an explicit id | Helmut Grohne | |
We rely on the id being constant. However, sqlite does not guarantee that the implicit rowid stays constant across vacuum. Making the rowid explicit fixes that. | |||
2019-03-23 | build.py: add back random ordering | Helmut Grohne | |
Otherwise "any" builds will always schedule for arm64. | |||
2019-03-23 | build.py: prefer older buildrequests | Helmut Grohne | |
2019-03-23 | allow scheduling builds via webapp | Helmut Grohne | |
2019-03-17 | license the beast as gpl-2+ | Helmut Grohne | |
2019-03-05 | reduce timestamps to 1s resolution | Helmut Grohne | |
We don't need more resolution. It is a distraction and removing it saves around 1% of db size. | |||
2019-03-02 | build.py: make the build server configurable | Helmut Grohne | |
2019-02-10 | build.py: handle the case of no satisfiable packages | Helmut Grohne | |
2019-02-05 | move yield_chunks to common.py | Helmut Grohne | |
2019-02-03 | initial checkin | Helmut Grohne | |