ci: better structure, no more unwanted tags #74
mg
commented
Owner
No description provided.
mg
added 1 commit 2025-11-27 12:41:56 +01:00
ci: better structure, no more unwanted tags
Some checks failed
/ push (pull_request) Has been skipped
Details
/ lint (pull_request) Successful in 7s
Details
/ semver (pull_request) Has been skipped
Details
/ build (pull_request) Failing after 18s
Details
mg
added 1 commit 2025-11-27 12:42:16 +01:00
changed Files: .gitea/workflows/build.yaml
Some checks failed
/ push (pull_request) Has been skipped
Details
/ build (pull_request) Failing after 21s
Details
/ semver (pull_request) Has been skipped
Details
/ lint (pull_request) Successful in 4s
Details
mg
added 1 commit 2025-11-27 12:45:28 +01:00
changed Files: .gitea/workflows/build.yaml
All checks were successful
/ push (pull_request) Has been skipped
Details
/ lint (pull_request) Successful in 7s
Details
/ build (pull_request) Successful in 21s
Details
/ semver (pull_request) Has been skipped
Details
mg
merged commit d477916979 into master
mg
deleted branch ci_new
mg
referenced this pull request from a commit
ci: better structure, no more unwanted tags (#74)
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?