Skip to content

Conversation

@jiegillet
Copy link
Contributor

Sister PR here.

@ceddlyburge could you take a look? Sorry for filling your mail inbox, I'm on a roll, but you don't need to do it all in one sitting, there is no rush :)

@jiegillet jiegillet merged commit 7dea3b9 into main Jun 17, 2025
1 check passed
@jiegillet jiegillet deleted the jie-elm-secrets branch June 17, 2025 00:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

track/elm Elm track type/analyzer-comments Analyzer comments

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants