ci: Delete stray files

zhaofengli · Nov 15, 2024 · ca8c588 · ca8c588
1 parent 9fc613b
commit ca8c588
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -3,6 +3,8 @@
 
 result*
 
+/ci/*.json
+
 *.o
 *.out
 

diff --git a/ci/example.json b/ci/example.json
diff --git a/ci/step.json b/ci/step.json
diff --git a/ci/system.json b/ci/system.json
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,6 +3,8 @@ @@
     result*
+    /ci/*.json
     *.o
     *.out
@@ Expand Down @@