Skip to content

fix: postgres scripts#598

Merged
TheMaskedTurtle merged 1 commit intomainfrom
jorism/fix/scripts-postgres
Feb 11, 2026
Merged

fix: postgres scripts#598
TheMaskedTurtle merged 1 commit intomainfrom
jorism/fix/scripts-postgres

Conversation

@TheMaskedTurtle
Copy link
Contributor

PR Summary

Signed-off-by: Joris Mancini <joris.mancini_externe@rte-france.com>
@TheMaskedTurtle TheMaskedTurtle merged commit 00cad69 into main Feb 11, 2026
2 checks passed
@TheMaskedTurtle TheMaskedTurtle deleted the jorism/fix/scripts-postgres branch February 11, 2026 15:54
jonenst pushed a commit that referenced this pull request Feb 11, 2026
Signed-off-by: Joris Mancini <joris.mancini_externe@rte-france.com>
@jonenst
Copy link
Contributor

jonenst commented Feb 11, 2026

force pushed as be6d906

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants