diff options
| author | Christopher Baines <mail@cbaines.net> | 2021-02-17 09:12:50 +0000 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2021-02-17 09:12:50 +0000 |
| commit | c72d2a172fafa591da3b73274ed70723d5fbf360 (patch) | |
| tree | 95b5aca6b38be60302e22fb1f5d0493fb80cbc94 /.gitignore | |
| parent | b3733bca21de607fd7a70319e66e3ff49996a974 (diff) | |
| download | build-coordinator-c72d2a172fafa591da3b73274ed70723d5fbf360.tar build-coordinator-c72d2a172fafa591da3b73274ed70723d5fbf360.tar.gz | |
Add a hook for determining whether agents should submit outputs
This should make it possible to check properly whether the outputs are needed,
instead of just assuming they are not if there's been a successful build.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions