Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,083 workflow runs
1,083 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Debugger: Add support for on demand breakpoint expressions TLA+ PR Validation #731: Pull request #1099 synchronize by ahelwer
December 19, 2024 16:02 13m 19s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 19, 2024 16:02 13m 19s
Make CommunityModules a test-time dependency of TLC. TLA+ PR Validation #730: Pull request #1103 synchronize by lemmy
December 19, 2024 15:57 13m 48s mku-CMTestDependency
mku-CMTestDependency
December 19, 2024 15:57 13m 48s
Make CommunityModules a test-time dependency of TLC. TLA+ PR Validation #729: Pull request #1103 opened by lemmy
December 19, 2024 02:29 13m 33s mku-CMTestDependency
mku-CMTestDependency
December 19, 2024 02:29 13m 33s
tlaplus-dispatch CI #907: Repository dispatch triggered by lemmy
December 19, 2024 02:03 1h 5m 51s
December 19, 2024 02:03 1h 5m 51s
tlaplus-dispatch CI #906: Repository dispatch triggered by lemmy
December 19, 2024 01:53 1h 8m 2s
December 19, 2024 01:53 1h 8m 2s
tlaplus-dispatch CI #905: Repository dispatch triggered by lemmy
December 19, 2024 01:08 1h 3m 45s
December 19, 2024 01:08 1h 3m 45s
Debugger: Add support for on demand breakpoint expressions TLA+ PR Validation #728: Pull request #1099 synchronize by ahelwer
December 18, 2024 21:05 13m 24s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 18, 2024 21:05 13m 24s
Debugger: Add support for on demand breakpoint expressions TLA+ PR Validation #727: Pull request #1099 synchronize by ahelwer
December 18, 2024 19:50 27m 56s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 18, 2024 19:50 27m 56s
SANY: Remove most static error logging usage TLA+ PR Validation #724: Pull request #1101 synchronize by ahelwer
December 17, 2024 17:04 27m 32s ahelwer:sany-semantic-static-logging
ahelwer:sany-semantic-static-logging
December 17, 2024 17:04 27m 32s
SANY: Remove most static error logging usage TLA+ PR Validation #723: Pull request #1101 opened by ahelwer
December 17, 2024 16:37 27m 25s ahelwer:sany-semantic-static-logging
ahelwer:sany-semantic-static-logging
December 17, 2024 16:37 27m 25s
SANY: Removed init error logging since it's static now TLA+ PR Validation #722: Pull request #1069 synchronize by ahelwer
December 16, 2024 22:07 27m 3s ahelwer:sany-no-init-errors
ahelwer:sany-no-init-errors
December 16, 2024 22:07 27m 3s
SANY: Removed init error logging since it's static now TLA+ PR Validation #721: Pull request #1069 synchronize by ahelwer
December 16, 2024 20:36 27m 9s ahelwer:sany-no-init-errors
ahelwer:sany-no-init-errors
December 16, 2024 20:36 27m 9s
Debugger: Add support for on demand breakpoint expressions TLA+ PR Validation #720: Pull request #1099 synchronize by ahelwer
December 16, 2024 20:34 28m 8s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 16, 2024 20:34 28m 8s
Debugger: Add support for on demand breakpoint expressions TLA+ PR Validation #719: Pull request #1099 synchronize by ahelwer
December 16, 2024 20:28 6m 26s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 16, 2024 20:28 6m 26s
tlaplus-dispatch CI #904: Repository dispatch triggered by lemmy
December 16, 2024 19:11 49m 50s
December 16, 2024 19:11 49m 50s
Debugger: Add support for on demand breakpoint expressions TLA+ PR Validation #718: Pull request #1099 synchronize by ahelwer
December 16, 2024 18:59 27m 15s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 16, 2024 18:59 27m 15s
Add LevelNode#levelCheck API for public consumption CI #903: Commit 5706453 pushed by lemmy
December 16, 2024 18:52 1h 4m 27s master
master
December 16, 2024 18:52 1h 4m 27s
Add LevelNode#levelCheck API for public consumption TLA+ PR Validation #717: Pull request #1100 synchronize by ahelwer
December 16, 2024 18:22 27m 36s ahelwer:sany-levelcheck-static-log
ahelwer:sany-levelcheck-static-log
December 16, 2024 18:22 27m 36s
Add LevelNode#levelCheck API for public consumption TLA+ PR Validation #716: Pull request #1100 synchronize by ahelwer
December 16, 2024 18:05 17m 0s ahelwer:sany-levelcheck-static-log
ahelwer:sany-levelcheck-static-log
December 16, 2024 18:05 17m 0s
Add LevelNode#levelCheck API for public consumption TLA+ PR Validation #715: Pull request #1100 opened by ahelwer
December 16, 2024 16:49 27m 47s ahelwer:sany-levelcheck-static-log
ahelwer:sany-levelcheck-static-log
December 16, 2024 16:49 27m 47s
Add unicode support to state / value serialization TLA+ PR Validation #714: Pull request #1079 synchronize by fhackett
December 15, 2024 01:10 27m 13s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
December 15, 2024 01:10 27m 13s
Debugger: Add support for on demand breakpoint expressions TLA+ PR Validation #713: Pull request #1099 synchronize by ahelwer
December 14, 2024 00:58 27m 29s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 14, 2024 00:58 27m 29s
Debugger: Add support for on demand breakpoint expressions TLA+ PR Validation #712: Pull request #1099 synchronize by ahelwer
December 13, 2024 17:41 27m 15s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 13, 2024 17:41 27m 15s
Debugger: Add support for on demand breakpoint expressions TLA+ PR Validation #711: Pull request #1099 opened by ahelwer
December 13, 2024 16:51 26m 56s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 13, 2024 16:51 26m 56s
tlaplus-dispatch CI #902: Repository dispatch triggered by lemmy
December 12, 2024 13:59 1h 11m 42s
December 12, 2024 13:59 1h 11m 42s