Merge pull request #280 from shlevy/github-status-api

Add a plugin to interact with the github status API.
This commit is contained in:
Eelco Dolstra
2016-04-14 20:03:45 +02:00
7 changed files with 129 additions and 15 deletions

View File

@ -318,7 +318,16 @@ private:
killed before it has finished sending notifications about a
build, then the notifications may be lost. It would be better
to mark builds with pending notification in the database. */
typedef std::pair<BuildID, std::vector<BuildID>> NotificationItem;
struct NotificationItem
{
enum class Type : char {
Started,
Finished
};
Type type;
BuildID id;
std::vector<BuildID> dependentIds;
};
nix::Sync<std::queue<NotificationItem>> notificationSenderQueue;
std::condition_variable notificationSenderWakeup;