Skip to content

ewd998: raise EWD998_proof budget from 4 to 6 minutes - #221

Merged
lemmy merged 1 commit into
tlaplus:masterfrom
vasilisnasopoulos:ewd998-proof-timeout
Aug 5, 2026
Merged

ewd998: raise EWD998_proof budget from 4 to 6 minutes#221
lemmy merged 1 commit into
tlaplus:masterfrom
vasilisnasopoulos:ewd998-proof-timeout

ewd998: raise EWD998_proof budget from 4 to 6 minutes

9c688f8
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Aug 5, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO