Repository navigation

ci: remove the pin-override workflow - #25

Merged

lucas-d-ramos merged 1 commit into

mainfrom

deps/remove-pin-override

Oct 5, 2026

Merged

ci: remove the pin-override workflow#25
lucas-d-ramos merged 1 commit into
mainfrom
deps/remove-pin-override

Commits on Oct 5, 2026
- ci: remove the pin-override workflow
  
  lucas-d-ramos
  and
  claude
  committed
  6722173