-
Adriaan de Groot authored
Make it easier to "just do the nightly build" in a Docker setting by passing the name of the workflow to the script.
2c52adc8
After you've reviewed these contribution guidelines, you'll be all set to
contribute to this project.