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