Could Kani CI summary be simplified?

[zjp-CN]

Currently, the webpage of kani CI takes up 1GB RAM in browser due to huge summary, and it's very difficult to view time report or artifacts.

If detailed harnesses are needed, one can always download artifacts via gh CLI:

gh run download -D tmp -R model-checking/verify-rust-std # run-id

If online view of detailed harnesses is desired, I'd like to implement a simple static SPA webpage deployed to Github Pages. (It'd be fun to see how harnesses evolve on checking time and partial vs fulll check status.)

[carolynzech]

Yeah, that'd be great! Feel free to implement something that you think makes sense and we can iterate from there.

[zjp-CN]

I’ve built a tiny UI to browse Kani proofs in verify-rust-std, showing the status and metadata of every harness so users can see which were cached and why (still working on it tho). I also plan to add a metrics panel that reports execution time and time saved per harness.

The first impl: os-checker/distributed-verification#101

UI: https://os-checker.github.io/distributed-verification

[zjp-CN]

The UI displays basic information for each harness and its verified function:

• results.json from the verify-rust-std CI provides verification results, such as status and execution time.
• The dv and database components supply the remaining details, including source code and hash.

[zjp-CN]

The page https://os-checker.github.io/distributed-verification/chart has been added
to display verification time in a violin plot and amount of harnesses over proof kinds in a stacked bar plot.