Skip to content

proof: raise MAX_PROOF_DEADLINE_S_CEILING to 14400 (B1 staging) - #300

Draft
echobt wants to merge 1 commit into
droid/9822d526-sn100-100-live-gaps-p1b-disafrom
droid/933f76bf-b1-raise-max-proof-deadline
Draft

proof: raise MAX_PROOF_DEADLINE_S_CEILING to 14400 (B1 staging)#300
echobt wants to merge 1 commit into
droid/9822d526-sn100-100-live-gaps-p1b-disafrom
droid/933f76bf-b1-raise-max-proof-deadline

feat(proof): raise MAX_PROOF_DEADLINE_S_CEILING to 14400

870a3b8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar