Skip to content
Lint PR title

feat: rename prover CLI start command as proxy and make it default #3689

Sign in to view logs

feat: rename prover CLI start command as proxy and make it default

feat: rename prover CLI start command as proxy and make it default #3689

Triggered via pull request February 15, 2024 20:09
@jeluardjeluard
synchronize #6428
Status Success
Total duration 10s
Artifacts –

lint-pr-title.yml

on: pull_request_target
Validate PR title
2s
Validate PR title
Fit to window
Zoom out
Zoom in