ci: better structure, no more unwanted tags #79
Owner
No description provided.
mg
added 2 commits 2025-11-27 12:38:46 +01:00
All checks were successful
/ lint (pull_request) Successful in 3s
Details
/ build (pull_request) Successful in 18s
Details
/ push (pull_request) Has been skipped
Details
/ semver (pull_request) Has been skipped
Details
ci: better structure, no more unwanted tags (#79)
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?