Shea Levy c6f0753435 Add GithubPulls input plugin. ...

This can be used with declarative projects to build PRs.

The github_authorization section should contain verbatim Authorization header contents keyed by repo owner for private repos

2017-05-24 05:31:27 -04:00

..

hydra-eval-jobs

hydra-eval-jobs: Disable the build hook.

2017-03-20 12:57:05 -04:00

hydra-evaluator

hydra-evaluator improvements

2017-03-15 16:59:57 +01:00

hydra-queue-runner

Fix build

2017-04-26 15:11:12 +02:00

lib

Add GithubPulls input plugin.

2017-05-24 05:31:27 -04:00

libhydra

Concurrent hydra-evaluator

2016-10-14 14:22:12 +02:00

root

Fix link to cached build log

2017-04-11 14:25:48 +02:00

script

nix-prefetch-git: Only remove .git, not e.g. .gitkeep (#454)

2017-04-12 21:08:04 +02:00

sql

hydra-evaluator improvements

2017-03-15 16:59:57 +01:00

ttf

Add font for the captcha

2013-03-04 12:16:13 +01:00

Makefile.am

Remove the pretty-printed log

2016-10-27 14:43:17 +02:00

Makefile.PL

* Move everything up one directory.

2009-03-05 13:41:57 +00:00