diff options
author | Josh Matthews <josh@joshmatthews.net> | 2019-03-26 17:44:14 -0400 |
---|---|---|
committer | Josh Matthews <josh@joshmatthews.net> | 2019-03-26 17:44:14 -0400 |
commit | 03f79b241cca15ce9d0e159db38c8e38a6566d9f (patch) | |
tree | fa14c34d529ec4722daa77dcefab73c3ce431576 /python/servo/bootstrap.py | |
parent | f45bea7e7c6924fa3120521b496fb9cc161dcbef (diff) | |
download | servo-03f79b241cca15ce9d0e159db38c8e38a6566d9f.tar.gz servo-03f79b241cca15ce9d0e159db38c8e38a6566d9f.zip |
Use provided docker builder worker for github PR tasks.
Diffstat (limited to 'python/servo/bootstrap.py')
0 files changed, 0 insertions, 0 deletions