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.

Sign up for GitHub

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

Jump to bottom

fix: ci powerset #214

Merged
merged 2 commits into from
Nov 1, 2024
Merged

fix: ci powerset #214

merged 2 commits into from
Nov 1, 2024

Conversation

refcell
Copy link
Collaborator

@refcell refcell commented Nov 1, 2024

Description

Fixes the feature powerset in ci to exclude op-alloy due to combinatorial overflow.

@refcell
Copy link
Collaborator Author

refcell commented Nov 1, 2024

📚 $\text{Stack Overview}$

Pulls submitted in this stack:

This comment was automatically generated by st.

@refcell refcell self-assigned this Nov 1, 2024
@refcell refcell added A-meta Area: Changes in contributor experience C-bug Category: Something isn't working labels Nov 1, 2024
@refcell refcell added this pull request to the merge queue Nov 1, 2024
Merged via the queue into main with commit 8e713c5 Nov 1, 2024
19 checks passed
@refcell refcell deleted the rf/feat/fix-ci branch November 1, 2024 16:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mattsse mattsse mattsse approved these changes

@emhane emhane Awaiting requested review from emhane emhane is a code owner

@clabby clabby Awaiting requested review from clabby clabby is a code owner

Assignees

@refcell refcell

Labels
A-meta Area: Changes in contributor experience C-bug Category: Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@refcell @mattsse