Skip to content
CI for EWD998 Trace Validation

ewd998: raise EWD998_proof budget from 4 to 6 minutes #148

Sign in to view logs

ewd998: raise EWD998_proof budget from 4 to 6 minutes

ewd998: raise EWD998_proof budget from 4 to 6 minutes #148

Triggered via push August 5, 2026 15:04
@lemmylemmy
pushed e90bda3
master
Status Success
Total duration 10m 7s
Artifacts –

ewd998.yml

on: push
build
10m 3s
build
Fit to window
Zoom out
Zoom in