Skip to content

Actions: asatarin/testing-distributed-systems

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
112 workflow runs
112 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Updated the link to paper : Uncovering Bugs in Distributed Storage System CI #125: Pull request #16 opened by abnair24
July 21, 2023 14:34 31s abnair24:ms_link_fix
abnair24:ms_link_fix
July 21, 2023 14:34 31s
pages build and deployment pages-build-deployment #78: by asatarin
June 30, 2023 00:15 45s
June 30, 2023 00:15 45s
Remove link to Verdi website because it went down CI #124: Commit 0c44069 pushed by asatarin
June 30, 2023 00:15 36s main
main
June 30, 2023 00:15 36s
Add "Formal Verification of a Distributed Dynamic Reconfiguration Pro… CI #123: Commit 761c4b8 pushed by asatarin
June 20, 2023 02:02 41s main
main
June 20, 2023 02:02 41s
pages build and deployment pages-build-deployment #77: by asatarin
June 20, 2023 02:02 51s
June 20, 2023 02:02 51s
Add "On the Hunt for Etcd Data Inconsistencies" talk about Etcd testing CI #122: Commit 675349d pushed by asatarin
May 6, 2023 04:09 57s main
main
May 6, 2023 04:09 57s
pages build and deployment pages-build-deployment #76: by asatarin
May 6, 2023 04:09 53s
May 6, 2023 04:09 53s
Fix typo CI #121: Commit f4ec527 pushed by asatarin
April 30, 2023 07:31 31s main
main
April 30, 2023 07:31 31s
pages build and deployment pages-build-deployment #75: by asatarin
April 30, 2023 07:31 47s
April 30, 2023 07:31 47s
Fix typos CI #120: Commit e33d5af pushed by asatarin
April 29, 2023 19:45 26s main
main
April 29, 2023 19:45 26s
pages build and deployment pages-build-deployment #74: by asatarin
April 29, 2023 19:45 44s
April 29, 2023 19:45 44s
Introduce "TLA+" section and add more talks to it CI #119: Commit 3b50064 pushed by asatarin
April 29, 2023 17:14 32s main
main
April 29, 2023 17:14 32s
pages build and deployment pages-build-deployment #73: by asatarin
April 29, 2023 17:14 47s
April 29, 2023 17:14 47s
Add "Elle: Finding Isolation Violations in Real-World Databases" PODC… CI #118: Commit 45b5d80 pushed by asatarin
April 29, 2023 16:46 34s main
main
April 29, 2023 16:46 34s
pages build and deployment pages-build-deployment #72: by asatarin
April 29, 2023 16:46 46s
April 29, 2023 16:46 46s
Add Jepsen "Consistency Models" page link CI #117: Commit a96a4c3 pushed by asatarin
April 29, 2023 16:35 32s main
main
April 29, 2023 16:35 32s
pages build and deployment pages-build-deployment #71: by asatarin
April 29, 2023 16:35 49s
April 29, 2023 16:35 49s
Add link for "Elle: Opaque-box Serializability Verification" VLDB 202… CI #116: Commit 131ea24 pushed by asatarin
April 29, 2023 16:32 28s main
main
April 29, 2023 16:32 28s
pages build and deployment pages-build-deployment #70: by asatarin
April 29, 2023 16:32 51s
April 29, 2023 16:32 51s
Add more internal links about formal methods CI #115: Commit 515649d pushed by asatarin
April 29, 2023 16:22 42s main
main
April 29, 2023 16:22 42s
pages build and deployment pages-build-deployment #69: by asatarin
April 29, 2023 16:22 51s
April 29, 2023 16:22 51s
Fix link to FlyMC paper CI #114: Commit 4ce30c8 pushed by asatarin
April 29, 2023 01:55 36s main
main
April 29, 2023 01:55 36s
pages build and deployment pages-build-deployment #68: by asatarin
April 29, 2023 01:55 48s
April 29, 2023 01:55 48s
Add section on deterministic simulation CI #113: Commit 343ee88 pushed by asatarin
April 29, 2023 01:54 37s main
main
April 29, 2023 01:54 37s
pages build and deployment pages-build-deployment #67: by asatarin
April 29, 2023 01:54 51s
April 29, 2023 01:54 51s