ci: better structure, no more unwanted tags #45
Owner
No description provided.
mg
added 1 commit 2025-11-27 12:40:37 +01:00
All checks were successful
/ push (pull_request) Has been skipped
Details
/ lint (pull_request) Successful in 5s
Details
/ semver (pull_request) Has been skipped
Details
/ build (pull_request) Successful in 26s
Details
mg
added 1 commit 2025-11-27 12:40:51 +01:00
All checks were successful
/ push (pull_request) Has been skipped
Details
/ lint (pull_request) Successful in 5s
Details
/ build (pull_request) Successful in 21s
Details
/ semver (pull_request) Has been skipped
Details
ci: better structure, no more unwanted tags (#45)
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "ci_new"
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?