Skip to content

Rename hveto config for O3

Alexander Urban requested to merge (removed):hveto-config into master

This PR renames the hveto run configuration from pre-o3 to o3. Note, the O3 configuration is a direct copy of the pre-O3 config, with the old file preserved for posterity.

cc @joshua-smith

Merge request reports