Skip to content

Actions: raft/raft.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Add zaft implementation check #200: Pull request #205 opened by LVala
July 26, 2024 16:20 Action required LVala:main
LVala:main
July 26, 2024 16:20 Action required
Push new mention of TLA+ spec into dissertation paragraph check #199: Commit 1e8325e pushed by ongardie
June 4, 2024 00:01 14s main
main
June 4, 2024 00:01 14s
pages build and deployment pages-build-deployment #29: by ongardie
June 4, 2024 00:01 1m 36s
June 4, 2024 00:01 1m 36s
Merge pull request #203 from zwkno1/main check #197: Commit 412589b pushed by ongardie
May 24, 2024 19:10 17s main
main
May 24, 2024 19:10 17s
pages build and deployment pages-build-deployment #28: by ongardie
May 24, 2024 19:10 42s
May 24, 2024 19:10 42s
add implementation raftpp check #196: Pull request #203 opened by zwkno1
May 24, 2024 10:09 16s zwkno1:main
zwkno1:main
May 24, 2024 10:09 16s
Merge pull request #202 from raft/userstudy-mp4 check #195: Commit 23c555a pushed by ongardie
May 15, 2024 21:24 21s main
main
May 15, 2024 21:24 21s
pages build and deployment pages-build-deployment #27: by ongardie
May 15, 2024 21:24 45s
May 15, 2024 21:24 45s
Update user study MP4 location check #194: Pull request #202 opened by ongardie
May 15, 2024 21:23 17s userstudy-mp4
userstudy-mp4
May 15, 2024 21:23 17s
Update user study MP4 location check #193: Commit c02700c pushed by ongardie
May 15, 2024 21:22 14s userstudy-mp4
userstudy-mp4
May 15, 2024 21:22 14s
Merge pull request #201 from raft/missing-archived-impls check #192: Commit 1243069 pushed by ongardie
May 8, 2024 05:22 19s main
main
May 8, 2024 05:22 19s
pages build and deployment pages-build-deployment #26: by ongardie
May 8, 2024 05:22 46s
May 8, 2024 05:22 46s
Annotate archived repos with "(archived)", etc check #191: Pull request #201 opened by ongardie
May 8, 2024 05:21 17s missing-archived-impls
missing-archived-impls
May 8, 2024 05:21 17s
Annotate archived repos with "(archived)" check #190: Commit ffc9d8c pushed by ongardie
May 8, 2024 05:20 13s missing-archived-impls
missing-archived-impls
May 8, 2024 05:20 13s
Merge pull request #199 from LiangrunDa/main check #189: Commit 729aae3 pushed by ongardie
May 7, 2024 22:25 13s main
main
May 7, 2024 22:25 13s
pages build and deployment pages-build-deployment #25: by ongardie
May 7, 2024 22:25 50s
May 7, 2024 22:25 50s
Add Raft Lite check #188: Pull request #199 opened by LiangrunDa
May 7, 2024 11:58 20s LiangrunDa:main
LiangrunDa:main
May 7, 2024 11:58 20s
Merge pull request #197 from changlousys/patch-1 check #187: Commit 2ee7b73 pushed by ongardie
April 16, 2024 03:34 18s main
main
April 16, 2024 03:34 18s
pages build and deployment pages-build-deployment #24: by ongardie
April 16, 2024 03:34 59s
April 16, 2024 03:34 59s
adding UVA in Courses teaching Raft section check #186: Pull request #197 opened by changlousys
April 16, 2024 03:24 19s changlousys:patch-1
changlousys:patch-1
April 16, 2024 03:24 19s
Merge pull request #196 from nicehoplite/main check #185: Commit 9dfcb67 pushed by ongardie
April 16, 2024 01:31 13s main
main
April 16, 2024 01:31 13s
pages build and deployment pages-build-deployment #23: by ongardie
April 16, 2024 01:31 54s
April 16, 2024 01:31 54s
Added GlucoRAFT check #184: Pull request #196 opened by nicehoplite
April 14, 2024 20:29 21s main
main
April 14, 2024 20:29 21s
Merge pull request #195 from freeekanayaka/patch-1 check #183: Commit 72f1098 pushed by ongardie
March 20, 2024 18:16 21s main
main
March 20, 2024 18:16 21s
pages build and deployment pages-build-deployment #22: by ongardie
March 20, 2024 18:16 1m 2s
March 20, 2024 18:16 1m 2s