fix(saver): correct build arg (#3)

kupl · Nov 15, 2023 · cd0ee8a · cd0ee8a
1 parent bdda2d4
commit cd0ee8a
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
@@ -3,6 +3,6 @@
     "name": "saver",
     "tag": "flex-1",
     "build_args": {
-        "BENCHMARK": "ghcr.io/kupl/starlab-benchmarks/c:flex-1"
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/c:flex-1"
     }
 }
diff --git a/configures/saver/flint-1.json b/configures/saver/flint-1.json
@@ -3,6 +3,6 @@
     "name": "saver",
     "tag": "flint-1",
     "build_args": {
-        "BENCHMARK": "ghcr.io/kupl/starlab-benchmarks/c:flint-1"
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/c:flint-1"
     }
 }