Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Debugger: Add support for breakpoint expressions TLA+ PR Validation #751: Pull request #1099 synchronize by ahelwer
December 29, 2024 01:38 27m 18s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 29, 2024 01:38 27m 18s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #750: Pull request #1099 synchronize by ahelwer
December 29, 2024 01:26 12m 23s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 29, 2024 01:26 12m 23s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #749: Pull request #1099 synchronize by ahelwer
December 29, 2024 01:18 9m 17s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 29, 2024 01:18 9m 17s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #748: Pull request #1099 synchronize by ahelwer
December 25, 2024 15:44 27m 11s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 25, 2024 15:44 27m 11s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #747: Pull request #1099 synchronize by ahelwer
December 25, 2024 15:28 16m 3s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 25, 2024 15:28 16m 3s
tlaplus-dispatch CI #914: Repository dispatch triggered by lemmy
December 24, 2024 04:00 58m 17s
December 24, 2024 04:00 58m 17s
For any string str, TLCGet("-D" \o str) equal the value that the CI #913: Commit 40b92d0 pushed by lemmy
December 24, 2024 03:42 1h 6m 33s master
master
December 24, 2024 03:42 1h 6m 33s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #746: Pull request #1099 synchronize by ahelwer
December 24, 2024 03:29 27m 2s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 24, 2024 03:29 27m 2s
For any string str, TLCGet("-D" \o str) equal the value that the Java system property str equals. Equals "-D" \o str if no system property by the name of str is defined. TLA+ PR Validation #745: Pull request #1105 opened by lemmy
December 24, 2024 01:55 27m 35s mku-TLCGetSetSysProp
mku-TLCGetSetSysProp
December 24, 2024 01:55 27m 35s
tlaplus-dispatch CI #912: Repository dispatch triggered by lemmy
December 23, 2024 21:10 1h 2m 14s
December 23, 2024 21:10 1h 2m 14s
SANY: Remove most static error logging usage CI #911: Commit 3bc8fa1 pushed by Calvin-L
December 23, 2024 20:54 6h 0m 35s master
master
December 23, 2024 20:54 6h 0m 35s
SANY: Removed init error logging since it's static now CI #910: Commit b395aad pushed by Calvin-L
December 23, 2024 20:52 1h 0m 15s master
master
December 23, 2024 20:52 1h 0m 15s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #744: Pull request #1099 synchronize by ahelwer
December 22, 2024 15:21 26m 44s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 22, 2024 15:21 26m 44s
SANY: Remove most static error logging usage TLA+ PR Validation #743: Pull request #1101 synchronize by ahelwer
December 21, 2024 14:39 26m 34s ahelwer:sany-semantic-static-logging
ahelwer:sany-semantic-static-logging
December 21, 2024 14:39 26m 34s
Make deserializing previously unseen strings work TLA+ PR Validation #742: Pull request #1102 synchronize by fhackett
December 21, 2024 05:07 10m 5s fhackett:fhackett-string-interning
fhackett:fhackett-string-interning
December 21, 2024 05:07 10m 5s
Make deserializing previously unseen strings work TLA+ PR Validation #741: Pull request #1102 synchronize by fhackett
December 21, 2024 02:07 Action required fhackett:fhackett-string-interning
fhackett:fhackett-string-interning
December 21, 2024 02:07 Action required
Make deserializing previously unseen strings work TLA+ PR Validation #740: Pull request #1102 synchronize by fhackett
December 21, 2024 01:26 Action required fhackett:fhackett-string-interning
fhackett:fhackett-string-interning
December 21, 2024 01:26 Action required
tlaplus-dispatch CI #909: Repository dispatch triggered by lemmy
December 21, 2024 00:30 1h 6m 17s
December 21, 2024 00:30 1h 6m 17s
Make CommunityModules a test-time dependency of TLC. CI #908: Commit 142b1fb pushed by lemmy
December 21, 2024 00:11 1h 13m 55s master
master
December 21, 2024 00:11 1h 13m 55s
Make CommunityModules a test-time dependency of TLC. TLA+ PR Validation #739: Pull request #1103 synchronize by lemmy
December 20, 2024 22:56 26m 30s mku-CMTestDependency
mku-CMTestDependency
December 20, 2024 22:56 26m 30s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #738: Pull request #1099 synchronize by ahelwer
December 20, 2024 21:16 13m 17s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 20, 2024 21:16 13m 17s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #737: Pull request #1099 synchronize by ahelwer
December 20, 2024 20:53 13m 26s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 20, 2024 20:53 13m 26s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #736: Pull request #1099 synchronize by ahelwer
December 20, 2024 18:24 13m 40s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 20, 2024 18:24 13m 40s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #735: Pull request #1099 synchronize by ahelwer
December 20, 2024 18:04 13m 50s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 20, 2024 18:04 13m 50s
Debugger: Add support for breakpoint expressions TLA+ PR Validation #734: Pull request #1099 synchronize by ahelwer
December 20, 2024 16:20 13m 20s ahelwer:debugger-bp-expr-proto
ahelwer:debugger-bp-expr-proto
December 20, 2024 16:20 13m 20s