diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2022-11-11 23:45:27 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-11 23:45:27 -0500 |
commit | f41e7cd66df32d159191e3073bfab1eb7ab91e95 (patch) | |
tree | fcace8fbd893bf5e19684b5a98602ddaab88ff15 /CONTRIBUTING.md | |
parent | 1960c40a30f4654fc4d3e9dec91783b6c1187f6b (diff) |
ci: unify cache keys in actions (#890)
* ci: unify cache keys in actions
* some docs
* because empty strings are false in JS
* update comment
* fix build cache naming
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index ebf43a79..4b5c367f 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -24,7 +24,7 @@ If you want to directly contribute documentation changes or code, follow this! T 3. Make any documentation changes if necessary - if you add a new feature, it'll probably need documentation changes. 4. Commit and create a pull request to merge into the `master` branch. **Please follow the pull request template**. 5. Ask/wait for a maintainer to review your pull request. - - Check if tests pass. These consist of clippy lints, rustfmt checks, and basic tests. + - Check if the CI workflow passes. These consist of clippy lints, rustfmt checks, and basic tests. - If changes are suggested or any comments are made, they should probably be addressed. 6. Once it looks good, it'll be merged! Note that _generally_, PRs are squashed, though feel free to ask otherwise if that isn't preferable. |