Closed mohamed82008 closed 3 years ago
Fails because of the Manifest. It would probably be best to delete the Manifest.
Ah version control troubles. @andreasnoack and @mohamed82008 I'll just add you guys as collabs so you can merge whenever you'd like
@ranjanan Thanks. I've enabled Github Actions instead of Travis. Could you please delete the Travis webhook to avoid it showing up in PRs?
This PR adds some version bounds for Distributions.jl to make it compatible with Distributions 0.24.