Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix org.lamport.tlatools build errors in Eclipse TLA+ PR Validation #146: Pull request #879 synchronize by ahelwer
March 17, 2024 21:14 31m 26s ahelwer:add-junit-eclipse-build-path
ahelwer:add-junit-eclipse-build-path
March 17, 2024 21:14 31m 26s
Flush writes to disk before asserting facts about the disk files (#890) CI #671: Commit 069738e pushed by Calvin-L
March 11, 2024 19:56 1h 19m 39s master
master
March 11, 2024 19:56 1h 19m 39s
Sync javacc-generated files with tla+.jj TLA+ PR Validation #145: Pull request #875 synchronize by ahelwer
March 11, 2024 19:48 31m 41s ahelwer:sany-unicode
ahelwer:sany-unicode
March 11, 2024 19:48 31m 41s
Flush writes to disk before asserting facts about the disk files TLA+ PR Validation #144: Pull request #890 opened by Calvin-L
March 11, 2024 19:09 32m 32s flush-liveness-writes
flush-liveness-writes
March 11, 2024 19:09 32m 32s
Adapt tree-sitter corpus tests for use with SANY (#886) CI #670: Commit 4dcaef8 pushed by lemmy
March 11, 2024 18:55 1h 23m 48s master
master
March 11, 2024 18:55 1h 23m 48s
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #143: Pull request #886 synchronize by ahelwer
March 11, 2024 16:41 32m 8s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 11, 2024 16:41 32m 8s
Ensure LF line endings for JavaCC-generated .cfg parser files (#878) CI #669: Commit cbb4fb2 pushed by lemmy
March 11, 2024 16:11 41m 33s master
master
March 11, 2024 16:11 41m 33s
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #142: Pull request #886 synchronize by ahelwer
March 11, 2024 14:44 31m 20s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 11, 2024 14:44 31m 20s
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #141: Pull request #886 synchronize by ahelwer
March 11, 2024 14:42 31m 24s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 11, 2024 14:42 31m 24s
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #140: Pull request #886 synchronize by ahelwer
March 11, 2024 14:35 32m 55s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 11, 2024 14:35 32m 55s
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #139: Pull request #886 synchronize by ahelwer
March 11, 2024 03:09 32m 0s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 11, 2024 03:09 32m 0s
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #138: Pull request #886 synchronize by ahelwer
March 11, 2024 01:23 31m 9s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 11, 2024 01:23 31m 9s
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #137: Pull request #886 synchronize by ahelwer
March 10, 2024 02:01 30m 57s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 10, 2024 02:01 30m 57s
Include number of distinct per-variable values in CI #668: Commit 84ac434 pushed by lemmy
March 9, 2024 05:50 43m 16s master
master
March 9, 2024 05:50 43m 16s
Expose TLC coverage at the TLA+ level, i.e., TLCGet("spec") TLA+ PR Validation #136: Pull request #889 synchronize by lemmy
March 9, 2024 05:07 31m 5s mku-tlacoverage
mku-tlacoverage
March 9, 2024 05:07 31m 5s
Expose TLC coverage at the TLA+ level, i.e., TLCGet("spec") TLA+ PR Validation #135: Pull request #889 synchronize by lemmy
March 9, 2024 04:25 30m 59s mku-tlacoverage
mku-tlacoverage
March 9, 2024 04:25 30m 59s
Expose TLC coverage at the TLA+ level, i.e., TLCGet("spec") TLA+ PR Validation #134: Pull request #889 synchronize by lemmy
March 9, 2024 00:13 32m 46s mku-tlacoverage
mku-tlacoverage
March 9, 2024 00:13 32m 46s
Expose TLC coverage at the TLA+ level, i.e., TLCGet("spec") TLA+ PR Validation #133: Pull request #889 synchronize by lemmy
March 8, 2024 23:04 6m 12s mku-tlacoverage
mku-tlacoverage
March 8, 2024 23:04 6m 12s
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #132: Pull request #886 synchronize by ahelwer
March 8, 2024 22:54 32m 29s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 8, 2024 22:54 32m 29s
Expose TLC coverage at the TLA+ level, i.e., TLCGet("spec") TLA+ PR Validation #131: Pull request #889 synchronize by lemmy
March 8, 2024 21:49 32m 35s mku-tlacoverage
mku-tlacoverage
March 8, 2024 21:49 32m 35s
Expose TLC coverage at the TLA+ level, i.e., TLCGet("spec") TLA+ PR Validation #130: Pull request #889 opened by lemmy
March 8, 2024 21:18 31m 14s mku-tlacoverage
mku-tlacoverage
March 8, 2024 21:18 31m 14s
In OffHeapDiskFPSet, invalidate buffered data after concurrent flush CI #667: Commit 71bb59d pushed by Calvin-L
March 8, 2024 20:44 1h 20m 52s master
master
March 8, 2024 20:44 1h 20m 52s
In OffHeapDiskFPSet, invalidate buffered data after concurrent flush TLA+ PR Validation #129: Pull request #887 synchronize by Calvin-L
March 8, 2024 19:36 32m 26s fix-OffHeapDiskFPSet-cache-inconsistency
fix-OffHeapDiskFPSet-cache-inconsistency
March 8, 2024 19:36 32m 26s
In OffHeapDiskFPSet, invalidate buffered data after concurrent flush TLA+ PR Validation #128: Pull request #887 synchronize by Calvin-L
March 8, 2024 19:36 31m 4s fix-OffHeapDiskFPSet-cache-inconsistency
fix-OffHeapDiskFPSet-cache-inconsistency
March 8, 2024 19:36 31m 4s
Apply ALIAS to the current state that is available as part of the CI #666: Commit a422f06 pushed by lemmy
March 8, 2024 03:18 1h 23m 2s master
master
March 8, 2024 03:18 1h 23m 2s