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

CI: Fix build issues and use master branch #23

Merged
merged 5 commits into from
Dec 4, 2023
Merged

Conversation

dantti
Copy link
Contributor

@dantti dantti commented Nov 12, 2023

No description provided.

@dantti dantti force-pushed the dantti/ci_nightly branch 9 times, most recently from 20bfb34 to 2376745 Compare November 13, 2023 22:43
@dantti dantti changed the title CI: Add nightly and fix current to use master branch CI: Fix build issues and use master branch Nov 30, 2023
@dantti dantti force-pushed the dantti/ci_nightly branch 4 times, most recently from da7bc53 to 5e188c7 Compare November 30, 2023 15:15
@dantti dantti force-pushed the dantti/ci_nightly branch from 09d40e4 to 6cbd640 Compare December 4, 2023 00:47
@winterz winterz merged commit 973e857 into master Dec 4, 2023
6 checks passed
@dantti dantti deleted the dantti/ci_nightly branch December 4, 2023 15:16
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.

2 participants