CI for EWD998 Trace Validation

ewd998/EWD998_proof: reuse CommunityModules FunctionTheorems #101

Sign in to view logs

Triggered via push May 4, 2026 18:21

lemmy

mku-tlaips

Status Success

Total duration 10m 59s

Artifacts –

ewd998.yml

on: push