Skip to content
Lint PR title

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

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 #3673

Triggered via pull request February 14, 2024 20:36
@jeluardjeluard
synchronize #6428
Status Success
Total duration 13s
Artifacts –

lint-pr-title.yml

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