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

Fix CI #2817

Merged
merged 2 commits into from Jun 14, 2021
Merged

Fix CI #2817

merged 2 commits into from Jun 14, 2021

Conversation

nlohmann
Copy link
Owner

@nlohmann nlohmann commented Jun 13, 2021

This MR removes Clang 10 from the Windows build and adds Clang 12 instead.

@request-info
Copy link

request-info bot commented Jun 13, 2021

We would appreciate it if you could provide us with more info about this issue or pull request! Please check the issue template and the pull request template.

@request-info request-info bot added the state: needs more info the author of the issue needs to provide more details label Jun 13, 2021
@nlohmann nlohmann marked this pull request as draft June 13, 2021 12:08
@coveralls
Copy link

coveralls commented Jun 13, 2021

Coverage Status

Coverage remained the same at 99.982% when pulling 802895b on fix_ci into e10a3fa on develop.

@nlohmann nlohmann added release item: 🔨 further change and removed state: needs more info the author of the issue needs to provide more details labels Jun 14, 2021
@nlohmann nlohmann self-assigned this Jun 14, 2021
@nlohmann nlohmann added this to the Release 3.9.2 milestone Jun 14, 2021
@nlohmann nlohmann marked this pull request as ready for review June 14, 2021 05:16
@nlohmann nlohmann merged commit 95ad4ae into develop Jun 14, 2021
@nlohmann nlohmann deleted the fix_ci branch June 14, 2021 05:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants