Skip to content

Changes the release pipeline to be able to build. Also revert #334#335

Merged
killi199 merged 2 commits into
mainfrom
fix/releasePipeline
Jul 9, 2026
Merged

Changes the release pipeline to be able to build. Also revert #334#335
killi199 merged 2 commits into
mainfrom
fix/releasePipeline

Conversation

@killi199

@killi199 killi199 commented Jul 9, 2026

Copy link
Copy Markdown
Owner

@killi199 killi199 added the maintenance General maintenance label Jul 9, 2026
@codecov

codecov Bot commented Jul 9, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ All tests successful. No failed tests found.

📢 Thoughts on this report? Let us know!

@killi199 killi199 merged commit 578edf9 into main Jul 9, 2026
6 checks passed
@killi199 killi199 deleted the fix/releasePipeline branch July 9, 2026 17:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance General maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant