6 commits

Author	SHA1	Message	Date
Christopher Baines	c90f411e5e	Add options to the query-build-servers script ... So you can select to query specific build servers.	2019-12-12 20:07:22 +00:00
Christopher Baines	7cc5c02cdd	Query build servers for narinfo files ... As well as making it possible to only query build servers for builds relating to a specific revision.	2019-11-30 10:59:16 +00:00
Christopher Baines	5663235048	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.	2019-11-24 20:18:08 +00:00
Christopher Baines	743cec7cb6	Associate a name with database connections ... This helps when working out which connection to the database is doing what.	2019-07-12 19:49:26 +01:00
Christopher Baines	2e45bb0696	Extract out some database functionality to another module	2019-04-14 10:04:51 +01:00
Christopher Baines	7a90afe980	Add functionality to query build servers	2019-03-06 22:56:54 +00:00