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

Improve two static_assert()s. #14700

Merged
merged 1 commit into from Jan 18, 2023
Merged

Improve two static_assert()s. #14700

merged 1 commit into from Jan 18, 2023

Conversation

drwells
Copy link
Member

@drwells drwells commented Jan 18, 2023

I noticed this when reading through #14698.

@bangerth bangerth merged commit d1de666 into dealii:master Jan 18, 2023
@bangerth
Copy link
Member

Same test as always is failing, but surely unrelated.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@masterleinad masterleinad masterleinad approved these changes

@bangerth bangerth bangerth approved these changes

@peterrum peterrum peterrum approved these changes

@marcfehling marcfehling marcfehling approved these changes

Assignees
No one assigned
Labels
Miscellaneous ready to test Reviewed and ready to merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
5 participants
@drwells @bangerth @masterleinad @peterrum @marcfehling