Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
1312: Update default manifest file name r=fredrikekre a=jonas-schulze If a new project is created using "JuliaProject.toml" instead of "Project.toml", the corresponding manifest file should be named "JuliaManifest.toml" instead of "Manifest.toml". Locally, even without my proposed changes, I get ``` Got exception outside of a @test KeyError: key "uuid" not found ``` for * [instantiate should respect tree hash](https://github.com/jonas-schulze/Pkg.jl/blob/default-manifest-name/test/pkg.jl#L753), * [instantiate checks for consistent dependency graph](https://github.com/jonas-schulze/Pkg.jl/blob/default-manifest-name/test/pkg.jl#L771) and * [up should prune manifest](https://github.com/jonas-schulze/Pkg.jl/blob/default-manifest-name/test/pkg.jl#L779) Are those relevant/related? Co-authored-by: Jonas Schulze <[email protected]>
- Loading branch information