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 /.github | |
| 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 '.github')
0 files changed, 0 insertions, 0 deletions