Skip to content

Actions: uwiger/locks

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #44 from uwiger/uw-leader-api CI #20: Commit ed69e18 pushed by uwiger
2m 17s master
master
2m 17s
locks_leader api additions CI #19: Pull request #44 synchronize by uwiger
2m 18s uw-leader-api
uw-leader-api
2m 18s
Set leader id before calling surrendered() CI #18: Commit 076ceeb pushed by uwiger
2m 12s uw-leader-api
uw-leader-api
2m 12s
locks_leader api additions CI #17: Pull request #44 opened by uwiger
2m 8s uw-leader-api
uw-leader-api
2m 8s
Call handle_DOWN on all candidates; fix broadcast/3 CI #16: Commit d6ef026 pushed by uwiger
2m 14s uw-leader-api
uw-leader-api
2m 14s
Add missing leader API functions, fix whitespace CI #15: Commit 18e4ed3 pushed by uwiger
2m 16s uw-leader-api
uw-leader-api
2m 16s
Merge pull request #43 from uwiger/uw-ci-badge CI #14: Commit ca7e1b8 pushed by uwiger
2m 4s master
master
2m 4s
Add CI status badge to README CI #13: Pull request #43 opened by uwiger
2m 24s uw-ci-badge
uw-ci-badge
2m 24s
Add CI status badge to README CI #12: Commit edbaee2 pushed by uwiger
2m 14s uw-ci-badge
uw-ci-badge
2m 14s
Merge pull request #41 from uwiger/uw-general-improvements CI #11: Commit f7a53e5 pushed by uwiger
2m 48s master
master
2m 48s
Uw general improvements CI #10: Pull request #41 synchronize by uwiger
2m 41s uw-general-improvements
uw-general-improvements
2m 41s
Merge pull request #42 from uwiger/uw-general-improvements-2 CI #9: Commit a0d845e pushed by uwiger
2m 44s uw-general-improvements
uw-general-improvements
2m 44s
Add random-netsplits tc, trace improvements CI #8: Pull request #42 synchronize by uwiger
2m 33s uw-general-improvements-2
uw-general-improvements-2
2m 33s
Wait for per-island leader consensus in gdict_netsplit CI #7: Commit f3b1b88 pushed by uwiger
2m 14s uw-general-improvements-2
uw-general-improvements-2
2m 14s
Add random-netsplits tc, trace improvements CI #6: Pull request #42 synchronize by uwiger
2m 39s uw-general-improvements-2
uw-general-improvements-2
2m 39s
Ignore ttb_last_config and rebar3.crashdump CI #5: Commit e057eed pushed by uwiger
2m 34s uw-general-improvements-2
uw-general-improvements-2
2m 34s
Add random-netsplits tc, trace improvements CI #4: Pull request #42 synchronize by uwiger
1m 5s uw-general-improvements-2
uw-general-improvements-2
1m 5s
Fix gdict_netsplit CI flake: longer heal wait, clearer errors CI #3: Commit 2213f60 pushed by uwiger
1m 4s uw-general-improvements-2
uw-general-improvements-2
1m 4s
Add random-netsplits tc, trace improvements CI #2: Pull request #42 synchronize by uwiger
2m 17s uw-general-improvements-2
uw-general-improvements-2
2m 17s
Drop unused locks-test (leader) test dependency CI #1: Commit d9ade3e pushed by uwiger
2m 10s uw-general-improvements-2
uw-general-improvements-2
2m 10s