search

lampepfl / bench

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

job jobs/work-merge-12 failed, please handle ASAP. #1256

Open dottybot opened 2 years ago