Sorry if this is a dumb question, but I could not figure this out. It seems to be generated dynamically when missing, so should I add it to the git repo?

The Manifest allows someone to replicate the exact version of the dependencies that was recorded in the manifest on e.g. another machine. For a package that is to be used as a library, this is not super useful because there will be some other Manifest dictating the versions of what is installed. Ho…

Does Manifest.toml belong in the repository?

General Usage

ctkelley June 1, 2020, 4:20pm 9

I had a problem recently with CI failing

and was advised to delete manifest.toml from the repo. That solved my problem, but I was not sure how wise it is/was to do that. This thread has me more confused than before.