Skip to content
Lint PR title

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

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

Triggered via pull request February 14, 2024 14:15
@jeluardjeluard
opened #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