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

Delete REQUIRE file #237

Merged
merged 1 commit into from
Oct 10, 2019
Merged

Delete REQUIRE file #237

merged 1 commit into from
Oct 10, 2019

Conversation

DilumAluthge
Copy link
Member

Now that there is a Project.toml file, we can delete the REQUIRE file.

@codecov-io
Copy link

codecov-io commented Oct 9, 2019

Codecov Report

Merging #237 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #237   +/-   ##
=======================================
  Coverage   90.11%   90.11%           
=======================================
  Files           6        6           
  Lines         344      344           
=======================================
  Hits          310      310           
  Misses         34       34

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 a4c2f77...7bb13e1. Read the comment docs.

@DilumAluthge DilumAluthge merged commit ada2ac5 into JuliaCI:master Oct 10, 2019
@DilumAluthge DilumAluthge deleted the da/delete-require branch October 10, 2019 00:36
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.

2 participants