Merge pull request #2 from grisu48/termination

Add more tests
grisu48 · Mar 25, 2021 · 16547bd · 16547bd
2 parents bc23662 + ef054b9
commit 16547bd
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/disko-san.yaml b/.github/workflows/disko-san.yaml
@@ -17,6 +17,10 @@ jobs:
       - name: Compile
         run: make
       - name: Prepare disk
-        run: truncate img -s 100MB
-      - name: Run disko-san on img
+        run: truncate img -s 20MB
+      - name: Run disko-san
+        run: ./disko-san img
+      - name: Run disko-san with stats
         run: ./disko-san img stats
+      - name: Run disko-san with stats and performance log
+        run: ./disko-san img stats0 log