feat: coordinator and prover support v0.4.2#1660

Merged

colinlyguo merged 22 commits intodevelopfrom

feat-coordinator-and-prover-support-v0.4.0

May 20, 2025

Commits on May 13, 2025

update prover crates
Velaciela
committed

Commits on May 14, 2025

prover: v0.4.1
Velaciela
committed
bump version
colinlyguo
committed
patch gpu crates
Velaciela
committed
add secrets
colinlyguo
committed
update
colinlyguo
committed
fix CI
colinlyguo
committed
fix
colinlyguo
committed
fix
colinlyguo
committed
fix
colinlyguo
committed

Commits on May 16, 2025

update prover: v0.5.0
Velaciela
committed
fix CI scripts
colinlyguo
committed
fix scripts
colinlyguo
committed
add permissions
colinlyguo
committed
temporary mask common CI building due to not being able to configure multiple SSH clients
colinlyguo
committed
Merge branch 'develop' into feat-coordinator-and-prover-support-v0.4.0
colinlyguo
authored
chore: auto version bump [bot]

colinlyguo
authored and
github-actions[bot]
committed

Commits on May 19, 2025

update to v0.4.2
colinlyguo
committed
remove unused configs
colinlyguo
committed
Merge branch 'develop' into feat-coordinator-and-prover-support-v0.4.0
colinlyguo
authored
chore: auto version bump [bot]

colinlyguo
authored and
github-actions[bot]
committed

Commits on May 20, 2025

bump sbv
lispc
committed