lampepfl / bench

benchmark compilation of Dotty
https://dotty-bench.epfl.ch
17 stars 8 forks source link

job jobs/work-merge-16021 failed, please handle ASAP. #1374

Open dottybot opened 2 years ago