explicitely add options to benchmarks

MaxenceGollier · MaxenceGollier · commit e1cbfba0df5d · 2026-03-12T09:52:47.000-04:00
diff --git a/.github/workflows/jsobmarks.yml b/.github/workflows/jsobmarks.yml
@@ -59,6 +59,8 @@ jobs:
               reference_branch = "origin/${{ github.event.pull_request.base.ref }}",
               gist_url = gist_url,
               script = "solver_benchmarks.jl",
+              profile_values = solver_benchmark_profile_values(),
+              table_values = solver_benchmark_table_values()
             )
           '
         env:

Original file line number	Diff line number	Diff line change
`@@ -59,6 +59,8 @@ jobs:`
`59`	`59`	`reference_branch = "origin/${{ github.event.pull_request.base.ref }}",`
`60`	`60`	`gist_url = gist_url,`
`61`	`61`	`script = "solver_benchmarks.jl",`
	`62`	`+ profile_values = solver_benchmark_profile_values(),`
	`63`	`+ table_values = solver_benchmark_table_values()`
`62`	`64`	`)`
`63`	`65`	`'`
`64`	`66`	`env:`