chore: update oh-my-pi to 18.1.18 #17

Merged
jeremy merged 1 commit from automation/jkpkgs-omp-20260911 into main 2026-09-11 20:36:04 -04:00
Owner

Update oh-my-pi binary hashes to upstream v18.1.18.

Update oh-my-pi binary hashes to upstream v18.1.18.
chore: update oh-my-pi to 18.1.18
All checks were successful
buildbot/nix-eval Build done.
buildbot/nix-build Build done.
1f1f1350d3
jeremy merged commit fc5d99f040 into main 2026-09-11 20:36:04 -04:00
jeremy deleted branch automation/jkpkgs-omp-20260911 2026-09-11 20:36:04 -04:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
jeremy/jkpkgs!17
No description provided.