Skip to content

Add interface to directly change the steps of a proof #123

Add interface to directly change the steps of a proof

Add interface to directly change the steps of a proof #123

Triggered via pull request January 22, 2024 11:03
Status Success
Total duration 11m 22s
Artifacts

test.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in