Skip to content
CI for EWD998 Trace Validation

ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla #107

Sign in to view logs

ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla

ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla #107

Triggered via push May 8, 2026 23:00
@lemmylemmy
pushed 8f94d8a
master
Status Success
Total duration 9m 6s
Artifacts –

ewd998.yml

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