Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix typo in
(cache-check-probablity)
I was trying to use it as documented here, but there is a typo when used as a config file entry (the cmdline entry seems fine): https://dune.readthedocs.io/en/stable/caching.html#reproducibility-check Signed-off-by: Edwin Török <edvin.torok@citrix.com>
- Loading branch information