Merge pull request 'chore: merge development into main for v0.1.0 release' (#12) from development into main #13
mahmoud
commented
Owner
No description provided.
mahmoud
added 1 commit 2026-04-08 07:39:58 +00:00
Merge pull request 'chore: merge development into main for v0.1.0 release' (#12) from development into main
Some checks failed
CI / Format, Lint, Test, Build (push) Failing after 18s
Details
Create Release / build (linux-amd64-musl, x86_64-unknown-linux-musl) (push) Failing after 26s
Details
CI / Format, Lint, Test, Build (pull_request) Failing after 17s
Details
mahmoud
merged commit 7fbf548fd5 into development
mahmoud
referenced this pull request from a commit
Merge pull request 'Merge pull request 'chore: merge development into main for v0.1.0 release' (#12) from development into main' (#13) from main into development
mahmoud
referenced this pull request
Merge pull request 'Merge pull request 'chore: merge development into main for v0.1.0 release' (#12) from development into main' (#13) from main into development #14
mahmoud
referenced this pull request from a commit
Merge pull request 'Merge pull request 'Merge pull request 'chore: merge development into main for v0.1.0 release' (#12) from development into main' (#13) from main into development' (#14) from development into main
No reviewers
Labels
No labels
prio_critical
prio_low
type_bug
type_contact
type_issue
type_lead
type_question
type_story
type_task
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
lhumina_code/hero_proxy!13
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "main"
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?