Skip to content

feat: rename "ProverSingle" -> "Prover", "Prover" -> "ProverMulti" #245

feat: rename "ProverSingle" -> "Prover", "Prover" -> "ProverMulti"

feat: rename "ProverSingle" -> "Prover", "Prover" -> "ProverMulti" #245

Triggered via push July 15, 2024 07:58
Status Success
Total duration 6m 2s
Artifacts

coverage.yml

on: push
Fit to window
Zoom out
Zoom in