3edde164

By: Lucien Huber <im@lcnbr.ch>

redesign generated reference navigation

User request: honestly the rust api is a less easy to use version of rust doc right now. I don't think it is worth it to have it in its current state, if ever. What do you think?

The python and cli make sense, but I wonder if the layout/ structure feels a bit alien to python users/ cli users. 3 nested boxes seem too much, (maybe just separate interlinked pages? one per class/ command )

Sounds good!
GitHub
Time to Start Worker time Duration Time to finish Idle
Config 1s 5s 5s 7s 1s
Eval 7s 1m05s 1m05s 1m12s 0s
Build 1m09s 10h56m29s - - 9s
Test 1h14m04s 20m25s - - 0s
Deploy - - - - 163h45m10s
Suite 1s 11h18m05s - - 163h45m21s

Timeline

Config Eval Build Test Failed Retried Compressed gap
0s1m2m3m4m5m6m7m8m9m10m11m12m13m14m15m16m17m18m19m20m21m22m23m24m25m26m27m28m29m30m31m32m33m34m35m36m37m38m39m40m41m42m43m44m45m46m47m48m49m50m51m52m53m54m55m56m57m58m59m1h0m1h1m1h2m1h3m1h4m1h5m1h6m1h7m1h8m1h9m1h10m1h11m1h12m1h13m1h14m1h15m1h16m1h17m1h18m1h19m1h20m1h21m1h22m1h23m1h24m1h25m1h26m1h27m1h28m1h29m1h30m1h31m1h32m1h33m1h34m1h35m1h36m1h37m