Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix nightlies. #506

Merged
merged 1 commit into from
Jan 6, 2025
Merged

Fix nightlies. #506

merged 1 commit into from
Jan 6, 2025

Conversation

teo-tsirpanis
Copy link
Member

The main branch name in the Core was changed to dev.

Fixes #505

The main branch name in the Core was changed to `dev`.
@@ -26,8 +26,7 @@ jobs:
platform: macos-arm64
- os: windows-latest
platform: windows-x86_64
- tag: dev
Copy link
Member Author

Choose a reason for hiding this comment

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

This line was added in #257 and was left over. Removing it has no effect.

Copy link

@dudoslav dudoslav left a comment

Choose a reason for hiding this comment

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

LGTM

@teo-tsirpanis teo-tsirpanis merged commit d674148 into main Jan 6, 2025
4 checks passed
@teo-tsirpanis teo-tsirpanis deleted the fix-nightly branch January 6, 2025 12:23
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.

Nightly GitHub Actions Build Fail on Sat, January 4th 2025
2 participants