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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
10m 3s
10m 3s