diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-12-23 11:35:56 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-12-23 11:35:56 +0100 |
| commit | a238fd5dc783f57f8fa61795690e6069b1becd32 (patch) | |
| tree | fa6538343f2d524be574285c2bb68057edc11420 /ci/script.sh | |
| parent | 88f505369c50fa2261ccad3a929ee180cd601fad (diff) | |
switch to a compiletest version that works with the latest nightly
Diffstat (limited to 'ci/script.sh')
0 files changed, 0 insertions, 0 deletions