Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #127: Pull request #886 synchronize by ahelwer
March 7, 2024 22:16 31m 22s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 7, 2024 22:16 31m 22s
In OffHeapDiskFPSet, invalidate buffered data after concurrent flush TLA+ PR Validation #126: Pull request #887 opened by Calvin-L
March 7, 2024 21:29 31m 17s fix-OffHeapDiskFPSet-cache-inconsistency
fix-OffHeapDiskFPSet-cache-inconsistency
March 7, 2024 21:29 31m 17s
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #125: Pull request #886 synchronize by ahelwer
March 7, 2024 18:12 31m 48s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 7, 2024 18:12 31m 48s
Adapt tree-sitter corpus tests for use with SANY TLA+ PR Validation #124: Pull request #886 opened by ahelwer
March 7, 2024 01:16 3m 12s ahelwer:sany-unit-tests
ahelwer:sany-unit-tests
March 7, 2024 01:16 3m 12s
Silence CostModel lookup failures if -nowarning is set. CI #665: Commit 4636bae pushed by lemmy
March 6, 2024 16:00 1h 23m 27s master
master
March 6, 2024 16:00 1h 23m 27s
REPL has no advanced features such as history because it is backed by… CI #664: Commit 2576f2c pushed by lemmy
February 19, 2024 01:35 1h 22m 52s master
master
February 19, 2024 01:35 1h 22m 52s
Fix org.lamport.tlatools build errors in Eclipse TLA+ PR Validation #123: Pull request #879 synchronize by ahelwer
February 17, 2024 17:47 32m 1s ahelwer:add-junit-eclipse-build-path
ahelwer:add-junit-eclipse-build-path
February 17, 2024 17:47 32m 1s
Fix org.lamport.tlatools build errors in Eclipse TLA+ PR Validation #122: Pull request #879 synchronize by ahelwer
February 17, 2024 16:15 30m 44s ahelwer:add-junit-eclipse-build-path
ahelwer:add-junit-eclipse-build-path
February 17, 2024 16:15 30m 44s
Suppress TLC output by error code (see tlc2.output.EC) by passing a CI #663: Commit 09ea601 pushed by lemmy
February 16, 2024 17:34 40m 47s master
master
February 16, 2024 17:34 40m 47s
Fix org.lamport.tlatools build errors in Eclipse TLA+ PR Validation #121: Pull request #879 opened by ahelwer
February 15, 2024 15:33 12m 9s ahelwer:add-junit-eclipse-build-path
ahelwer:add-junit-eclipse-build-path
February 15, 2024 15:33 12m 9s