Skip to content
CI for EWD998 Trace Validation

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

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 #103

Triggered via push May 8, 2026 22:53
@lemmylemmy
pushed a19ea8a
master
Status Success
Total duration 12m 51s
Artifacts –

ewd998.yml

on: push
build
12m 48s
build
Fit to window
Zoom out
Zoom in