Closed ElectreAAS closed 1 year ago
Very nice, thank you! We should update the readme with the list of extraordinary settings that one can ask for when integrating with current-bench :) (custom dockerfiles, ocaml versions, single vs multicore, github labels, ...)
This PR solves #395. Users can tell us where their dockerfile is, and we'll setup a
"dockerfile": "path/to/dockerfile"
inproduction.conf
and it should be good to go.If they want to have multiple dockerfiles, it's now possible:
Tested locally and everything seems to be in order.