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

Remove leftover braces for if conditional in CI #4660

Closed
wants to merge 1 commit into from
Closed

Remove leftover braces for if conditional in CI #4660

wants to merge 1 commit into from

Conversation

ppigazzini
Copy link
Contributor

@ppigazzini ppigazzini commented Jul 3, 2023

closes #4660

No functional change

@ppigazzini ppigazzini changed the title Remove leftover braces for if conditional Remove leftover braces for if conditional in CI Jul 3, 2023
@vondele vondele added the to be merged Will be merged shortly label Jul 3, 2023
@vondele vondele closed this in e87e103 Jul 3, 2023
@ppigazzini ppigazzini deleted the ci_clean_braces branch July 3, 2023 18:20
Joachim26 pushed a commit to Joachim26/StockfishNPS that referenced this pull request Aug 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
to be merged Will be merged shortly
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants