Skip to content
test

Update benchmark runner to use dune 3.13 (#3) #23

Sign in to view logs

Update benchmark runner to use dune 3.13 (#3)

Update benchmark runner to use dune 3.13 (#3) #23

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build the benchmark runner
4m 37s
4m 37s