Skip to content

Actions: stateright/stateright

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
74 workflow runs
74 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add check option for paxos example to maintain bench (#78) Rust #187: Commit 8e56cef pushed by jonnadal
April 14, 2024 21:04 46s master
master
April 14, 2024 21:04 46s
Add check option for paxos example to maintain bench Rust #184: Pull request #78 opened by jeffa5
March 4, 2024 09:39 49s jeffa5:fix-bench
jeffa5:fix-bench
March 4, 2024 09:39 49s
Fix timeout thread to sleep directly Rust #183: Pull request #77 opened by jeffa5
March 4, 2024 09:37 46s jeffa5:cleanup-timeout
jeffa5:cleanup-timeout
March 4, 2024 09:37 46s
A minimal Raft implementation as an example Rust #182: Pull request #76 synchronize by LiangrunDa
March 3, 2024 10:40 53s LiangrunDa:raft-lr
LiangrunDa:raft-lr
March 3, 2024 10:40 53s
A minimal Raft implementation as an example Rust #181: Pull request #76 synchronize by LiangrunDa
March 3, 2024 10:31 50s LiangrunDa:raft-lr
LiangrunDa:raft-lr
March 3, 2024 10:31 50s
A minimal Raft implementation as an example Rust #180: Pull request #76 opened by LiangrunDa
March 3, 2024 10:30 53s LiangrunDa:raft-lr
LiangrunDa:raft-lr
March 3, 2024 10:30 53s
address clippy --examples warnings Rust #179: Commit 135dca8 pushed by jonnadal
March 3, 2024 01:56 55s master
master
March 3, 2024 01:56 55s
add format/lint to GH actions Rust #178: Commit 141cd3a pushed by jonnadal
March 3, 2024 01:46 58s master
master
March 3, 2024 01:46 58s
fix: non-unique fingerprint in unordered duplicating network (#74) Rust #177: Commit cbc268c pushed by jonnadal
March 3, 2024 00:23 1m 1s master
master
March 3, 2024 00:23 1m 1s
Add option to fail fast by waiting for a subset of discoveries (#71) Rust #176: Commit a60b09e pushed by jonnadal
March 2, 2024 22:16 1m 1s master
master
March 2, 2024 22:16 1m 1s
Add option to fail fast by waiting for a subset of discoveries Rust #175: Pull request #71 synchronize by jonnadal
March 2, 2024 22:14 58s jeffa5:fail-fast
jeffa5:fail-fast
March 2, 2024 22:14 58s
Add checker timeout (#70) Rust #174: Commit 2d41aca pushed by jonnadal
March 2, 2024 22:00 49s master
master
March 2, 2024 22:00 49s
Reduce calls to get properties Rust #173: Pull request #75 opened by jeffa5
February 29, 2024 13:51 54s jeffa5:remove-properties-calls
jeffa5:remove-properties-calls
February 29, 2024 13:51 54s
fix: non-unique fingerprint in unordered duplicating network Rust #172: Pull request #74 opened by LiangrunDa
February 25, 2024 14:07 53s LiangrunDa:fingerprint-unique
LiangrunDa:fingerprint-unique
February 25, 2024 14:07 53s
Add option to fail fast by waiting for a subset of discoveries Rust #171: Pull request #71 synchronize by jeffa5
January 17, 2024 15:50 59s jeffa5:fail-fast
jeffa5:fail-fast
January 17, 2024 15:50 59s
Add option to fail fast by waiting for a subset of discoveries Rust #170: Pull request #71 synchronize by jeffa5
January 17, 2024 14:33 57s jeffa5:fail-fast
jeffa5:fail-fast
January 17, 2024 14:33 57s
Add checker timeout Rust #169: Pull request #70 synchronize by jeffa5
January 10, 2024 18:06 57s jeffa5:checker-timeout
jeffa5:checker-timeout
January 10, 2024 18:06 57s
add Choice example for simulated external interaction (#62) Rust #168: Commit 88f1676 pushed by jonnadal
October 16, 2023 14:33 1m 20s master
master
October 16, 2023 14:33 1m 20s
Added an example using Choice with simulated external interaction. Rust #167: Pull request #62 synchronize by degregat
September 25, 2023 10:30 1m 33s degregat:choice-actors-with-interaction-example
degregat:choice-actors-with-interaction-example
September 25, 2023 10:30 1m 33s
Add test for graceful shutdown after panic Rust #166: Commit e680bc6 pushed by jonnadal
September 9, 2023 13:43 1m 22s master
master
September 9, 2023 13:43 1m 22s
jobmarket cleanup Rust #165: Pull request #67 opened by jeffa5
September 5, 2023 10:58 1m 35s jeffa5:jobmarket-cleanup
jeffa5:jobmarket-cleanup
September 5, 2023 10:58 1m 35s
version 0.30.1 Rust #164: Commit ea5478e pushed by jonnadal
August 27, 2023 21:03 1m 30s master
master
August 27, 2023 21:03 1m 30s
cargo fmt Rust #163: Commit 3e30eaa pushed by jonnadal
August 27, 2023 20:38 1m 18s master
master
August 27, 2023 20:38 1m 18s
Refactor JobMarket and handle checker threads panicking (#66) Rust #162: Commit a24534a pushed by jonnadal
August 27, 2023 20:29 1m 16s master
master
August 27, 2023 20:29 1m 16s
fix: unintentional spin-wait loop in spawn Rust #161: Commit 91f98ef pushed by jonnadal
August 27, 2023 18:54 1m 28s master
master
August 27, 2023 18:54 1m 28s