Skip to content

Cedric/update pi 0.75.4#37

Merged
Cedric / ViaDézo1er (viadezo1er) merged 1 commit into
mainfrom
cedric/update-pi-0.75.4
May 20, 2026
Merged

Cedric/update pi 0.75.4#37
Cedric / ViaDézo1er (viadezo1er) merged 1 commit into
mainfrom
cedric/update-pi-0.75.4

Conversation

@viadezo1er
Copy link
Copy Markdown
Collaborator

@viadezo1er Cedric / ViaDézo1er (viadezo1er) commented May 20, 2026

I'm not sure if we really want to update pi all the time, it's easy but there are multiple releases per week.
Anyway, here's a pi update.

@viadezo1er Cedric / ViaDézo1er (viadezo1er) force-pushed the cedric/update-pi-0.75.4 branch 3 times, most recently from 85f32f5 to d064c0d Compare May 20, 2026 21:22
@viadezo1er Cedric / ViaDézo1er (viadezo1er) marked this pull request as ready for review May 20, 2026 21:45
@viadezo1er Cedric / ViaDézo1er (viadezo1er) merged commit 4763b26 into main May 20, 2026
9 checks passed
@viadezo1er Cedric / ViaDézo1er (viadezo1er) deleted the cedric/update-pi-0.75.4 branch May 20, 2026 21:54
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.

1 participant