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

[CI] Upgrade to CentOS 7 + GCC 8 #313

Merged
merged 3 commits into from
Sep 17, 2021
Merged

[CI] Upgrade to CentOS 7 + GCC 8 #313

merged 3 commits into from
Sep 17, 2021

Conversation

hcho3
Copy link
Collaborator

@hcho3 hcho3 commented Sep 17, 2021

  • Upgrade to CentOS 7, since CentOS 6 has reached its end-of-life.
  • Use Ninja to speed up builds.

Fixes recent failure in Linux build (https://dev.azure.com/hcho3/treelite/_build/results?buildId=679&view=logs&j=7536d2cd-87d4-54fe-4891-bfbbf2741d83&t=275bff32-624c-5245-5ea6-1890c77a0b18)

@codecov
Copy link

codecov bot commented Sep 17, 2021

Codecov Report

Merging #313 (5432ab4) into mainline (c9766ca) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@             Coverage Diff              @@
##             mainline     #313    +/-   ##
============================================
  Coverage       85.18%   85.18%            
  Complexity         46       46            
============================================
  Files             108      108            
  Lines            8156     8156            
  Branches           50      466   +416     
============================================
  Hits             6948     6948            
  Misses           1183     1183            
  Partials           25       25            

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update c9766ca...5432ab4. Read the comment docs.

@hcho3 hcho3 merged commit 193445d into dmlc:mainline Sep 17, 2021
@hcho3 hcho3 deleted the fix_ci branch September 17, 2021 10:24
@hcho3 hcho3 mentioned this pull request Sep 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant