diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-11-15 21:26:39 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-15 21:26:39 +0100 |
commit | 63951c4d0786fb9964458cab6f74ecacbaefd7cc (patch) | |
tree | f037ca796abfe125dfe038bc0ebd928f3e1cea16 /scripts/jobs | |
parent | 2d18af61581696efe0e2869472c9d4214370cc9f (diff) | |
download | dotty-63951c4d0786fb9964458cab6f74ecacbaefd7cc.tar.gz dotty-63951c4d0786fb9964458cab6f74ecacbaefd7cc.tar.bz2 dotty-63951c4d0786fb9964458cab6f74ecacbaefd7cc.zip |
Try to fix the CI
Diffstat (limited to 'scripts/jobs')
0 files changed, 0 insertions, 0 deletions