Skip to content

feat(proof edit): allow editing a proof type #436

feat(proof edit): allow editing a proof type

feat(proof edit): allow editing a proof type #436

Triggered via pull request July 7, 2024 20:51
@raphodnraphodn
opened #681
Status Success
Total duration 13s
Artifacts

auto-assign-pr.yml

on: pull_request_target
assign-author
4s
assign-author
Fit to window
Zoom out
Zoom in