lean-eval-leaderboard: The leaderboard deploy fails in the Lake dependency step
Fixed · low · Build bug
The deploy step runs lake update, which fails on local refs. The public site then shows data from October 14.
Found: ; reported: ; status since: . Reporter: Maksim Borisov
Page for this report · Public report · Fix or proposed fix (see status)