| Commit message (Expand) | Author | Age |
|---|
| * | Add copyright and license headers to a bunch of source files•••That were missing them.
| Christopher Baines | 2019-12-26 |
| * | Rework the builds and build_status tables as well as related code•••Allow for build status information to be submitted by POST request. This
required some changes to the builds and build_status tables, as for example,
the Cuirass build id may not be available, and the derivation may not be know
yet, so just record the derivation file name.
| Christopher Baines | 2019-11-24 |
| * | Add a new module to handle build server token seeds•••The intent with these tokens is for them to be provided when build events are
submitted, preventing unauthorised submission of build events.
It should be possible to make the database public, so it shouldn't contain any
secret information. To have secret tokens that aren't in the database, store a
token seed, and combine this with some secret data to compute the secret.
| Christopher Baines | 2019-11-23 |