Skip to content
Lint PR title

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

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

Triggered via pull request February 15, 2024 22:12
@jeluardjeluard
synchronize #6428
Status Success
Total duration 11s
Artifacts –

lint-pr-title.yml

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