lampepfl / bench

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

job jobs/pull-15841 failed, please handle ASAP. #1434

Open dottybot opened 1 year ago