diff options
author | Guillaume R <theelectronwill@gmail.com> | 2019-07-25 01:14:09 +0200 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-25 07:14:09 +0800 |
commit | 4e3bcc9eeb8e3b6b13f29cb63360a512c0f6ed9b (patch) | |
tree | 0a985d7bd97c66582c93b3e8d6989c91329cb8f6 /ci | |
parent | 1f0d223c1de438071645c7788174fb708ca55043 (diff) | |
download | mill-4e3bcc9eeb8e3b6b13f29cb63360a512c0f6ed9b.tar.gz mill-4e3bcc9eeb8e3b6b13f29cb63360a512c0f6ed9b.tar.bz2 mill-4e3bcc9eeb8e3b6b13f29cb63360a512c0f6ed9b.zip |
Use the binary version of the compiler bridge when available (#659)
* Use the binary version of the compiler bridge when available, fix #591
This also eliminates #389 for Dotty 0.13.0-RC1 and more recent
* Add test for Dotty 0.16
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions