Skip to content

Remove Travis CI#3233

Merged
nlohmann merged 1 commit intodevelopfrom
issue3087_drop_travis
Dec 31, 2021
Merged

Remove Travis CI#3233
nlohmann merged 1 commit intodevelopfrom
issue3087_drop_travis

Conversation

@nlohmann
Copy link
Owner

This PR removes Travis CI.

Closes #3087.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling c4d1674 on issue3087_drop_travis into 1aca6cb on develop.

@nlohmann nlohmann merged commit 926df56 into develop Dec 31, 2021
@nlohmann nlohmann deleted the issue3087_drop_travis branch December 31, 2021 10:04
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.

Drop Travis CI

2 participants