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

add a note about registry_deps with name field #425

Merged
merged 2 commits into from
Aug 27, 2022

Conversation

johnnychen94
Copy link
Contributor

@johnnychen94 johnnychen94 commented Jun 12, 2021

It takes time to find out that this is even possible so I figure this is worth documenting.

@DilumAluthge
Copy link
Member

Just FYI, I want to hold off on merging any PRs until I sort out #423

- run: julia --project=.ci/ --color=yes -e 'import RegistryCI; RegistryCI.test()'
+ run: julia --project=.ci/ --color=yes -e 'import RegistryCI; RegistryCI.test(registry_deps=["General"])'
```
This way Julia Pkg will download registry from Julia pkg server. If you host a private pkg server in your local network(e.g., enterprise network with firewall) and properly
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Technically the use of pkg server is Julia version dependent (not available at all on 1.3, available on 1.4 if JULIA_PKG_SERVER is set, available by default for 1.5 and 1.6 dependent on platform and exact patch version), but I'm not sure it's worth worrying about.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah.. adding an extra note about the pkg server version compat seems cumbersome to me. Because RegistryCI is mainly used by advanced users who already have sufficient knowledge about Pkg, I use the word "recognized" and hope they understand it :)

@DilumAluthge
Copy link
Member

bors merge

@bors bors bot merged commit ddb4883 into JuliaRegistries:master Aug 27, 2022
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.

4 participants