merge: dev into main — CI workflow triggers + version bump #640
Reference in New Issue
Block a user
Delete Branch "dev"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Move CI and repo-health workflows to pull_request triggers so they gate merges instead of running after deploy.