Skip to content

Actions: josehu07/summerset

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add teaser architecture figure Tests #38: Pull request #14 opened by josehu07
August 19, 2023 08:58 1m 53s multipaxos
multipaxos
August 19, 2023 08:58 1m 53s
Add teaser architecture figure Format #38: Pull request #14 opened by josehu07
August 19, 2023 08:58 22s multipaxos
multipaxos
August 19, 2023 08:58 22s
Merge pull request #13 from josehu07/multipaxos Tests #37: Commit 2c037f4 pushed by josehu07
August 18, 2023 07:22 1m 42s main
main
August 18, 2023 07:22 1m 42s
Merge pull request #13 from josehu07/multipaxos Format #37: Commit 2c037f4 pushed by josehu07
August 18, 2023 07:22 20s main
main
August 18, 2023 07:22 20s
Merge pull request #13 from josehu07/multipaxos Build #38: Commit 2c037f4 pushed by josehu07
August 18, 2023 07:22 1m 42s main
main
August 18, 2023 07:22 1m 42s
Huge Refactorization; Adding Cluster Manager Oracle Tests #36: Pull request #13 synchronize by josehu07
August 18, 2023 07:17 1m 27s multipaxos
multipaxos
August 18, 2023 07:17 1m 27s
Huge Refactorization; Adding Cluster Manager Oracle Build #37: Pull request #13 synchronize by josehu07
August 18, 2023 07:17 2m 9s multipaxos
multipaxos
August 18, 2023 07:17 2m 9s
Huge Refactorization; Adding Cluster Manager Oracle Format #36: Pull request #13 synchronize by josehu07
August 18, 2023 07:17 18s multipaxos
multipaxos
August 18, 2023 07:17 18s
Huge Refactorization; Adding Cluster Manager Oracle Build #36: Pull request #13 opened by josehu07
August 18, 2023 07:14 2m 4s multipaxos
multipaxos
August 18, 2023 07:14 2m 4s
Huge Refactorization; Adding Cluster Manager Oracle Tests #35: Pull request #13 opened by josehu07
August 18, 2023 07:14 1m 48s multipaxos
multipaxos
August 18, 2023 07:14 1m 48s
Huge Refactorization; Adding Cluster Manager Oracle Format #35: Pull request #13 opened by josehu07
August 18, 2023 07:14 23s multipaxos
multipaxos
August 18, 2023 07:14 23s
Merge pull request #12 from josehu07/multipaxos Format #34: Commit fb036a6 pushed by josehu07
August 13, 2023 12:39 20s main
main
August 13, 2023 12:39 20s
Merge pull request #12 from josehu07/multipaxos Build #35: Commit fb036a6 pushed by josehu07
August 13, 2023 12:39 1m 26s main
main
August 13, 2023 12:39 1m 26s
Merge pull request #12 from josehu07/multipaxos Tests #34: Commit fb036a6 pushed by josehu07
August 13, 2023 12:39 1m 15s main
main
August 13, 2023 12:39 1m 15s
Fix possible circular deadlocks Tests #33: Pull request #12 opened by josehu07
August 13, 2023 12:33 1m 11s multipaxos
multipaxos
August 13, 2023 12:33 1m 11s
Fix possible circular deadlocks Build #34: Pull request #12 opened by josehu07
August 13, 2023 12:33 1m 20s multipaxos
multipaxos
August 13, 2023 12:33 1m 20s
Fix possible circular deadlocks Format #33: Pull request #12 opened by josehu07
August 13, 2023 12:33 21s multipaxos
multipaxos
August 13, 2023 12:33 21s
Merge pull request #11 from josehu07/multipaxos Format #32: Commit 7d1955a pushed by josehu07
August 9, 2023 15:45 20s main
main
August 9, 2023 15:45 20s
Merge pull request #11 from josehu07/multipaxos Tests #32: Commit 7d1955a pushed by josehu07
August 9, 2023 15:45 1m 26s main
main
August 9, 2023 15:45 1m 26s
Merge pull request #11 from josehu07/multipaxos Build #33: Commit 7d1955a pushed by josehu07
August 9, 2023 15:45 1m 53s main
main
August 9, 2023 15:45 1m 53s
Fix tokio::select cancellation safety bugs Tests #31: Pull request #11 opened by josehu07
August 9, 2023 15:43 1m 17s multipaxos
multipaxos
August 9, 2023 15:43 1m 17s
Fix tokio::select cancellation safety bugs Format #31: Pull request #11 opened by josehu07
August 9, 2023 15:43 25s multipaxos
multipaxos
August 9, 2023 15:43 25s
Fix tokio::select cancellation safety bugs Build #32: Pull request #11 opened by josehu07
August 9, 2023 15:43 1m 49s multipaxos
multipaxos
August 9, 2023 15:43 1m 49s
Merge pull request #10 from josehu07/multipaxos Tests #30: Commit a43fc07 pushed by josehu07
August 9, 2023 07:31 1m 12s main
main
August 9, 2023 07:31 1m 12s
Merge pull request #10 from josehu07/multipaxos Format #30: Commit a43fc07 pushed by josehu07
August 9, 2023 07:31 20s main
main
August 9, 2023 07:31 20s