Skip to content

fix: set default CHALLENGE_FINALITY in deployment scripts#237

Merged
rjan90 merged 1 commit intomainfrom
phi/document-deploy
Dec 8, 2025
Merged

fix: set default CHALLENGE_FINALITY in deployment scripts#237
rjan90 merged 1 commit intomainfrom
phi/document-deploy

Commits

Commits on Dec 8, 2025