Skip to content

Use new Docker image - #2981

Merged
nlohmann merged 4 commits into
developfrom
update_ci
Aug 29, 2021
Merged

nlohmann merged 4 commits into
developfrom
update_ci

Conversation

@nlohmann

@nlohmann nlohmann commented Aug 29, 2021 •

Copy link
Copy Markdown
Owner

This PR adjusts the CI to use a tagged Docker image from GitHub rather than DockerHub. Furthermore, it updates Clang, Clang-Tidy, and CMake.

@nlohmann nlohmann self-assigned this Aug 29, 2021
@nlohmann
nlohmann marked this pull request as draft August 29, 2021 11:12
@coveralls

Copy link
Copy Markdown

Coverage Status

Coverage remained the same at 100.0% when pulling 886ffae on update_ci into 9dfd916 on develop.

@nlohmann nlohmann added this to the Release 3.10.3 milestone Aug 29, 2021
@nlohmann
nlohmann marked this pull request as ready for review August 29, 2021 12:47
@nlohmann
nlohmann merged commit e0b02c3 into develop Aug 29, 2021
@nlohmann
nlohmann deleted the update_ci branch August 29, 2021 16:05
@nlohmann nlohmann mentioned this pull request Aug 30, 2021
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.

2 participants

⌂ 换网址