Authenticate to the Certora cloud without a browser - #166

Draft

shellygr wants to merge 6 commits into

shelly/codegen-multi-specfrom

shelly/prover-auth-noninteractive

Commits on Aug 14, 2026

Authenticate to the Certora cloud without a browser

shellygr
and
claude
committed
983aa27
Leave CI alone: it authenticates to the cloud a different way

shellygr
and
claude
committed
3fa5670

Commits on Aug 17, 2026

Merge branch 'shelly/codegen-multi-spec' into shelly/prover-auth-noninteractive
shellygr
committed
4491322

Commits on Aug 21, 2026

Merge branch 'shelly/codegen-multi-spec' into shelly/prover-auth-noninteractive
shellygr
committed
200b05d
Mount the work directory at its host path as well as /work

shellygr
and
claude
committed
985373f
Publish postgres on a port a dev machine is less likely to be using

shellygr
and
claude
committed
6af5d13