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

Bump to Symbolics 3 #38

Merged
merged 1 commit into from
Aug 19, 2021
Merged

Bump to Symbolics 3 #38

merged 1 commit into from
Aug 19, 2021

Conversation

ChrisRackauckas
Copy link
Member

No description provided.

@coveralls
Copy link

Pull Request Test Coverage Report for Build 1146017519

  • 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 61.25%

Totals Coverage Status
Change from base Build 979666166: 0.0%
Covered Lines: 98
Relevant Lines: 160

💛 - Coveralls

@codecov
Copy link

codecov bot commented Aug 19, 2021

Codecov Report

Merging #38 (baf4216) into main (ef5e495) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main      #38   +/-   ##
=======================================
  Coverage   61.25%   61.25%           
=======================================
  Files           4        4           
  Lines         160      160           
=======================================
  Hits           98       98           
  Misses         62       62           

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 ef5e495...baf4216. Read the comment docs.

@ChrisRackauckas ChrisRackauckas merged commit 3f89396 into main Aug 19, 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.

None yet

2 participants