Skip to content

deploy: pin registry git-8c19eed + publish release 0.2.5 metadata - #4

Merged
fzn0728 merged 1 commit into
SergioChan:mainfrom
fzn0728:deploy/pin-0.2.5
Aug 15, 2026
Merged

deploy: pin registry git-8c19eed + publish release 0.2.5 metadata#4
fzn0728 merged 1 commit into
SergioChan:mainfrom
fzn0728:deploy/pin-0.2.5

Commits

Commits on Aug 15, 2026