Skip to content

Fix release builds#2746

Merged
awni merged 1 commit intomainfrom
fix_release
Nov 11, 2025
Merged

Fix release builds#2746
awni merged 1 commit intomainfrom
fix_release

Conversation

@awni
Copy link
Copy Markdown
Member

@awni awni commented Nov 10, 2025

Fixing the github actions release build.

@awni awni force-pushed the fix_release branch 2 times, most recently from 51dfa7c to 791883c Compare November 10, 2025 16:47
Copy link
Copy Markdown
Member

@angeloskath angeloskath left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🙏

@awni awni merged commit 60d80a3 into main Nov 11, 2025
20 of 32 checks passed
@awni awni deleted the fix_release branch November 11, 2025 15:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants