📝(docs) minor fixes to docs/env.md #1086
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
c419d5a to
d7dffa7
Compare
|
It feels like a waste of CPUs to run GitHub actions for such small changes. Maybe we could conditionally run tests based on the extension of the modified files? |
lunika
approved these changes
Jun 20, 2025
|
Your commit is still not signed with a pgp or ssh key. |
Sort environment variables alphabetically and fix spelling. Signed-off-by: Bastien Guerry <bastien.guerry@code.gouv.fr>
d7dffa7 to
eee19c5
Compare
|
Sorry for the mishap, done now. |
AntoLC
approved these changes
Jun 20, 2025
There was a problem hiding this comment.
Hard life, your commit is signed but unverified:
Did you add your key here https://github.com/settings/keys ?
|
Fixed now. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Replaces #941