Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Do not set conflicting
--mm
params (#85)
The `.nimble` file already ensures that both `--mm:refc` and `--mm:orc` are passed. If we also set it in `ci.yml` then both options are passed, including the case where they are conflicting.
- Loading branch information