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

Reduce and speed up CI #1689

Merged
merged 1 commit into from
Aug 24, 2021
Merged

Reduce and speed up CI #1689

merged 1 commit into from
Aug 24, 2021

Conversation

devmotion
Copy link
Member

Similar to TuringLang/DynamicPPL.jl#317. Julia 1.3 is only tested with Ubuntu, and macOS and Windows are only tested with JULIA_NUM_THREADS = 2. Moreover, avoids unnecessary coverage analysis in cases where the result is not uploaded.

@codecov
Copy link

codecov bot commented Aug 24, 2021

Codecov Report

Merging #1689 (955189d) into master (0278a3c) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1689   +/-   ##
=======================================
  Coverage   80.07%   80.07%           
=======================================
  Files          23       23           
  Lines        1405     1405           
=======================================
  Hits         1125     1125           
  Misses        280      280           

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 0278a3c...955189d. Read the comment docs.

@coveralls
Copy link

Pull Request Test Coverage Report for Build 1164353078

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 80.071%

Totals Coverage Status
Change from base Build 1163995507: 0.0%
Covered Lines: 1125
Relevant Lines: 1405

💛 - Coveralls

Copy link
Member

@torfjelde torfjelde left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

❤️

@devmotion devmotion merged commit 8f966de into master Aug 24, 2021
@delete-merged-branch delete-merged-branch bot deleted the dw/reduce_ci branch August 24, 2021 23:41
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.

3 participants