merge private main

josehu07 · Oct 9, 2023 · 14ede9d · 14ede9d
2 parents 043a157 + cb7f738
commit 14ede9d
Show file tree

Hide file tree

Showing 25 changed files with 3,960 additions and 720 deletions.
diff --git a/.github/workflows/tests_proc.yml b/.github/workflows/tests_proc.yml
@@ -16,5 +16,7 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
-    - name: Run proc tests
-      run: python3 scripts/workflow_test.py
+    - name: Run proc tests (MultiPaxos)
+      run: python3 scripts/workflow_test.py -p MultiPaxos
+    - name: Run proc tests (Raft)
+      run: python3 scripts/workflow_test.py -p Raft
diff --git a/.github/workflows/tests_unit.yml b/.github/workflows/tests_unit.yml
@@ -16,5 +16,5 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
-    - name: Run unit tests
+    - name: Run all unit tests
       run: cargo test --workspace --verbose