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: Separate job for various build configurations #486

Merged
merged 1 commit into from
Nov 13, 2024

Conversation

andy5995
Copy link
Member

No description provided.

@andy5995 andy5995 force-pushed the ci/job-build-config branch 5 times, most recently from 863d9cf to 9999ffe Compare November 13, 2024 19:27
@andy5995 andy5995 force-pushed the ci/job-build-config branch from 9999ffe to 4de69bd Compare November 13, 2024 19:34
@andy5995 andy5995 modified the milestone: v0.9.4 Nov 13, 2024
@andy5995 andy5995 merged commit 19f9466 into master Nov 13, 2024
13 checks passed
@andy5995 andy5995 deleted the ci/job-build-config branch November 13, 2024 19:47
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.

1 participant