Skip to content

ci: point the push gate at develop after dev → develop rename#36

Merged
mibrahimdev merged 1 commit into
developfrom
ci/correct-develop-push-trigger
Jun 17, 2026
Merged

ci: point the push gate at develop after dev → develop rename#36
mibrahimdev merged 1 commit into
developfrom
ci/correct-develop-push-trigger

ci: point the push gate at develop after the dev → develop rename

d61e16f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar