Skip to content

Actions: tlaplus/azure-cosmos-tla

Actions

Regression tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make meaning of AcquirableSessionTokens clearer (#6)
Regression tests #21: Commit df6080e pushed by lemmy
December 14, 2023 17:56 9m 55s master
December 14, 2023 17:56 9m 55s
Make meaning of AcquirableSessionTokens clearer
Regression tests #20: Pull request #6 synchronize by fhackett
December 14, 2023 02:14 9m 52s fhackett:master
December 14, 2023 02:14 9m 52s
Make meaning of AcquirableSessionTokens clearer
Regression tests #19: Pull request #6 opened by fhackett
December 13, 2023 04:49 9m 43s fhackett:master
December 13, 2023 04:49 9m 43s
"The comment suggests that an invalid read consistency level during v…
Regression tests #18: Commit 4b8785a pushed by lemmy
December 6, 2023 02:43 9m 30s master
December 6, 2023 02:43 9m 30s
"The comment incorrectly states that epoch increments when the log is…
Regression tests #17: Commit 7de9fd0 pushed by lemmy
December 6, 2023 01:45 9m 40s master
December 6, 2023 01:45 9m 40s
The commented out CONSTANT declaration for ConsistencyLevel is incons…
Regression tests #16: Commit c62642f pushed by lemmy
December 6, 2023 00:11 9m 38s master
December 6, 2023 00:11 9m 38s
The ReadConsistencyOK operator is inconsistent with the comments. The…
Regression tests #15: Commit c926399 pushed by lemmy
December 5, 2023 23:58 9m 41s master
December 5, 2023 23:58 9m 41s
The ASSUME statements for StalenessBound and VersionBound being in Na…
Regression tests #14: Commit 0e25985 pushed by lemmy
December 5, 2023 23:16 9m 40s master
December 5, 2023 23:16 9m 40s