diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-11-06 19:38:22 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-06 19:38:22 +0000 |
| commit | 2cae8c3e8b2065452c48688cd1b864414afed1dd (patch) | |
| tree | 74d4fe46dfdcb1beb78ceb2f58eb95ef9dc75dba /ci | |
| parent | f9b30a1ff87acd5f3c29a32369f0537e8e3d2bf1 (diff) | |
| parent | 1e49de60cb8c965e614e565375e218a8a01e42a2 (diff) | |
Merge #267
267: fix CI: use an older nightly on the x86_64 build r=korken89 a=japaric
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions