Skip to content

fix(dispatch): send echidnabot proof obligations as GraphQL variables - #913

Merged
hyperpolymath merged 2 commits into
mainfrom
fix/echidnabot-dispatch-graphql-variables
Oct 8, 2026
Merged

fix(dispatch): send echidnabot proof obligations as GraphQL variables#913
hyperpolymath merged 2 commits into
mainfrom
fix/echidnabot-dispatch-graphql-variables

fix(dispatch): accept echidnabot's hol-light prover slug

83a0c59
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar