Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
judgeenv: properly specify a default in docker
What we probably want to do here is have a default when we are in docker. Right now, if the model_file exists, the default is completely ignored.
- Loading branch information