UI: have a "rebuild" button

ocurrent / current-bench

Experimental benchmarking infrastructure using OCurrent pipelines

Apache License 2.0

33 stars 17 forks source link

UI: have a "rebuild" button #476

Open kit-ty-kate opened 11 months ago

kit-ty-kate commented 11 months ago

In cases where ocurrent-bench fails for unrelated reason to the commit being tested, it would be nice to have a rebuild button somewhere actionable by users, the same way we have for opam-repo-ci.