9151302a

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 4s 4s 6s 1s
Eval 8s 47s 47s 56s 1s
Build 49s 3h08m58s - - 2m00s
Test 26m02s 23m20s - - 0s
Deploy - - - - 162h44m47s
Suite 1s 3h33m10s - - 162h46m51s

Timeline

Config Eval Build Test Failed Retried
0s1m2m3m4m5m6m7m8m9m10m11m12m13m14m15m16m17m18m19m20m21m22m23m24m25m26m27m28m29m30m31m32m33m34m35m36m37m38m39m40m41m42m43m44m45m46m47m48m49m50m51m52m