Skip to content
CI for EWD998 Trace Validation

Remove outdated Folds and Functions modules from FiniteMonotonic #128

Sign in to view logs

Remove outdated Folds and Functions modules from FiniteMonotonic

Remove outdated Folds and Functions modules from FiniteMonotonic #128

Triggered via push May 13, 2026 16:56
@lemmylemmy
pushed 8537e70
mku-tlaips
Status Success
Total duration 10m 9s
Artifacts –

ewd998.yml

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