Skip to content

Rename dependency is_resolved to is_pinned#3888

Merged
AyanSinhaMahapatra merged 5 commits intodevelopfrom
rename_dependency_is_resolved
Oct 20, 2024
Merged

Rename dependency is_resolved to is_pinned#3888
AyanSinhaMahapatra merged 5 commits intodevelopfrom
rename_dependency_is_resolved

Commits

Commits on Aug 7, 2024

Commits on Oct 19, 2024

Commits on Oct 20, 2024