Skip to content

Harden validation workflow for bootstrap proof#9

Merged
mdheller merged 2 commits into
mainfrom
ci/prove-validate-workflow
May 4, 2026
Merged

Harden validation workflow for bootstrap proof#9
mdheller merged 2 commits into
mainfrom
ci/prove-validate-workflow

Use shell invocation for bootstrap CLI validation

eaa2ef5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Validate contracts, examples, CLI, formula, and docs
succeeded May 4, 2026 in 16s