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

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

Mathis (echobt) wants to merge 1 commit into

droid/9822d526-sn100-100-live-gaps-p1b-disaCortexLM/cortex:droid/9822d526-sn100-100-live-gaps-p1b-disafrom

droid/933f76bf-b1-raise-max-proof-deadlineCortexLM/cortex:droid/933f76bf-b1-raise-max-proof-deadlineCopy head branch name to clipboard