Skip to content

Actions: s12f/tlads

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: add cache (#17) TLC #45: Commit 423b79c pushed by s12f
1m 21s main
main
1m 21s
ci: add cache TLC #44: Pull request #17 opened by s12f
1m 21s ci_cache
ci_cache
1m 21s
feat(cache): add WriteThrough TLC #43: Commit 7e9fcc6 pushed by s12f
1m 26s main
main
1m 26s
fix(spanner): fix CheckTSafe (#16) TLC #42: Commit 02946da pushed by s12f
1m 23s main
main
1m 23s
fix(spanner): fix CheckTSafe TLC #41: Pull request #16 opened by s12f
1m 23s spanner_t_safe
spanner_t_safe
1m 23s
feat(spanner): add Fairness and Liveness (#15) TLC #40: Commit 5beba40 pushed by s12f
2m 4s main
main
2m 4s
feat(spanner): add Fairness and Liveness TLC #39: Pull request #15 synchronize by s12f
2m 1s spanner_liveness
spanner_liveness
2m 1s
feat(spanner): add Fairness and Liveness TLC #38: Pull request #15 opened by s12f
4m 17s spanner_liveness
spanner_liveness
4m 17s
fix(spanner): loose TSafe condition (#14) TLC #37: Commit 7851d0c pushed by s12f
2m 48s main
main
2m 48s
fix(spanner): loose TSafe condition TLC #36: Pull request #14 opened by s12f
2m 52s spanner_ro
spanner_ro
2m 52s
feat(spanner): add ReadOnly transactions (#13) TLC #35: Commit f2ae7f2 pushed by s12f
2m 25s main
main
2m 25s
feat(spanner): add ReadOnly transactions TLC #34: Pull request #13 synchronize by s12f
2m 30s spanner_ro
spanner_ro
2m 30s
feat(spanner): add ReadOnly transactions TLC #33: Pull request #13 opened by s12f
2m 29s spanner_ro
spanner_ro
2m 29s
spanner: add Transaction (#12) TLC #32: Commit ddbc632 pushed by s12f
1m 3s main
main
1m 3s
spanner: add Transaction TLC #31: Pull request #12 opened by s12f
1m 2s spanner_tx
spanner_tx
1m 2s
Spanner: TrueTime and DisjointLeases (#11) TLC #30: Commit 8c2dbcb pushed by s12f
57s main
main
57s
Spanner: TrueTime and DisjointLeases TLC #29: Pull request #11 opened by s12f
56s spanner
spanner
56s
chore(Percolator): add Liveness property for locks TLC #28: Commit 836dea4 pushed by s12f
1m 0s main
main
1m 0s
chore(MultiPaxos): separate model from specification (#10) TLC #27: Commit 02e16f2 pushed by s12f
56s main
main
56s
chore(MultiPaxos): separate model from specification TLC #26: Pull request #10 opened by s12f
58s multi-paxos-mc
multi-paxos-mc
58s
chore(percolator): add Liveness (#9) TLC #25: Commit 408ceaf pushed by s12f
59s main
main
59s
chore(percolator): add Liveness TLC #24: Pull request #9 opened by s12f
1m 1s percolator_liveness
percolator_liveness
1m 1s
fix(sib-isolation): add write conflict test and fix PSI_CT (#8) TLC #23: Commit e694276 pushed by s12f
58s main
main
58s
fix(sib-isolation): add write conflict test and fix PSI_CT TLC #22: Pull request #8 opened by s12f
1m 2s sib_write_conflict
sib_write_conflict
1m 2s
feat(sib-isolation): add Read Atomic Isolation and fix newline (#7) TLC #21: Commit 380d48b pushed by s12f
58s main
main
58s