dart/list_or
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 2 Wiki Activity

Refactor CI workflows: streamline CI configuration and add publish and release workflows #2

Merged
hans merged 1 commits from publish into main 2026-05-13 13:24:48 +02:00
Conversation 0 Commits 1 Files Changed 3
+183 -106
hans commented 2026-05-13 13:21:36 +02:00
Owner
Copy Link
Copy Source

Signed-off-by: Hans Kokx hans.d.kokx@gmail.com

Signed-off-by: Hans Kokx <hans.d.kokx@gmail.com>
hans added 1 commit 2026-05-13 13:21:37 +02:00
Refactor CI workflows: streamline CI configuration and add publish and release workflows
CI / format (pull_request) Successful in 23s
Details
CI / analyze (pull_request) Successful in 18s
Details
CI / test (pull_request) Successful in 24s
Details
CI / pana (pull_request) Successful in 1m15s
Details
CI / version-and-changelog (pull_request) Successful in 14s
Details
0f9188410c 
Signed-off-by: Hans Kokx <hans.d.kokx@gmail.com>
hans merged commit d437ab5ae1 into main 2026-05-13 13:24:48 +02:00
hans deleted branch publish 2026-05-13 13:24:52 +02:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
hans (Hans Kokx)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: dart/list_or#2
Delete Branch "publish"

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?