Skip to content

chore: add develop to github workflows branches - #133

Merged
skosito merged 1 commit into
developfrom
update-ci-branches-to-use-develop
Oct 17, 2025
Merged

chore: add develop to github workflows branches#133
skosito merged 1 commit into
developfrom
update-ci-branches-to-use-develop

add develop to github workflows branches

232fd90
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar