Skip to content

Set `VAL_NAME` to `dev` instead of `val`

From #283 (comment 274104)

We should use dev for the validation set. This is the new default on Arkindex.