chore(saver): re-trigger build of saver

kupl · Nov 24, 2023 · f86534e · f86534e
1 parent 4ee8721
commit f86534e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/configures/saver/flex-1.json b/configures/saver/flex-1.json
@@ -5,4 +5,4 @@
     "build_args": {
         "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/c:flex-1"
     }
-}
+}
diff --git a/configures/saver/flint-1.json b/configures/saver/flint-1.json
@@ -5,4 +5,4 @@
     "build_args": {
         "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/c:flint-1"
     }
-}
+}
-Original file line number
+Diff line change
@@ Expand Up / @@ -5,4 +5,4 @@ @@
         "build_args": {
             "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/c:flex-1"
         }
-    }
+    }