diff options
| author | schneefux <schneefux+github@schneefux.xyz> | 2017-03-05 10:36:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-05 10:36:50 +0100 |
| commit | e9ec4659a0264428980ca1c3d1927f1c32caa673 (patch) | |
| tree | 77d23954f39914f239d709e1deb21551878c5343 /.gitignore | |
| parent | 1eb1bf90e796d0814eb8e501f856cf21c1e15f60 (diff) | |
| download | processor-e9ec4659a0264428980ca1c3d1927f1c32caa673.tar.gz processor-e9ec4659a0264428980ca1c3d1927f1c32caa673.zip | |
job batching (#43)
* run jobs in batches
* do not submit duplicate compile requests
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions