Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
183 workflow run results
183 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Precedence of NPE check wrong. CI #644: Commit 9876efa pushed by lemmy
December 28, 2023 20:45 39m 22s master
master
December 28, 2023 20:45 39m 22s
Performance Tests TLC Performance Tests TLC #104: Scheduled
December 28, 2023 05:54 9h 7m 19s master
master
December 28, 2023 05:54 9h 7m 19s
Note why spec-level breakpoint does not support a hit count. CI #643: Commit e5af70a pushed by lemmy
December 23, 2023 19:36 36m 30s master
master
December 23, 2023 19:36 36m 30s
Show *value* of function application s. a. 42 in [ foo |-> 42, bar CI #642: Commit 4a8570a pushed by lemmy
December 22, 2023 02:41 39m 2s master
master
December 22, 2023 02:41 39m 2s
Performance Tests TLC Performance Tests TLC #103: Scheduled
December 21, 2023 05:54 9h 42m 45s master
master
December 21, 2023 05:54 9h 42m 45s
Add tlc2.tool.impl.Tool.TLCStateMutExt system property that causes TLC CI #641: Commit 291c89c pushed by lemmy
December 18, 2023 22:31 1h 23m 23s master
master
December 18, 2023 22:31 1h 23m 23s
Limit resolving of (constant-level) action parameters to Context. CI #640: Commit c553ff4 pushed by lemmy
December 16, 2023 05:49 44m 45s master
master
December 16, 2023 05:49 44m 45s
Performance Tests TLC Performance Tests TLC #102: Scheduled
December 14, 2023 05:54 9h 36m 32s master
master
December 14, 2023 05:54 9h 36m 32s