diff options
author | Dmitry Petrashko <dark@d-d.me> | 2015-10-23 14:56:28 +0200 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2015-10-23 14:56:28 +0200 |
commit | 392b0f10c133982d6070f2551c11d1ca7eb79bba (patch) | |
tree | 15cb62fd24b206656d63a79da8160213c48a5c24 /README.md | |
parent | 3c6f28ba36e3e908c7a5e313e96e7d34f3da62fe (diff) | |
parent | c326d15bce108459371567069a7ecbc38388fb84 (diff) | |
download | dotty-392b0f10c133982d6070f2551c11d1ca7eb79bba.tar.gz dotty-392b0f10c133982d6070f2551c11d1ca7eb79bba.tar.bz2 dotty-392b0f10c133982d6070f2551c11d1ca7eb79bba.zip |
Merge pull request #853 from dotty-staging/partest-run
Run CI-partest with bootstrapped compiler
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions