Skip to content

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

ci: remove the pin-override workflow

6722173
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar