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.)