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

Stop publishing Github release artifacts that have been migrated to Maven Central #4373

Closed
lihaoyi opened this issue Jan 20, 2025 · 1 comment · Fixed by #4386
Closed

Stop publishing Github release artifacts that have been migrated to Maven Central #4373

lihaoyi opened this issue Jan 20, 2025 · 1 comment · Fixed by #4386
Milestone

Comments

@lihaoyi
Copy link
Member

lihaoyi commented Jan 20, 2025

Follow up of #4372

@lihaoyi lihaoyi added this to the 0.13.0 milestone Jan 20, 2025
@lihaoyi lihaoyi changed the title Remove Github release artifacts that have been migrated to Maven Central Stop publishing Github release artifacts that have been migrated to Maven Central Jan 20, 2025
@lihaoyi lihaoyi modified the milestones: 0.13.0, 0.12.6 Jan 21, 2025
lihaoyi added a commit that referenced this issue Jan 21, 2025
…ral (#4386)

Fixes #4373

This only affects people running clicking links or running commands
manually to download the bootstrap scripts or example projects, or
manually running `./mill init`, so it won't break any automated
releases.

This lets us substantially simplify the github actions workflows and
build config
@lefou
Copy link
Member

lefou commented Jan 21, 2025

I'd love if we could update the Github Release page document with every snapshot release to show a list of all available snapshot versions.

gamlerhart pushed a commit to gamlerhart/mill that referenced this issue Feb 9, 2025
…ral (com-lihaoyi#4386)

Fixes com-lihaoyi#4373

This only affects people running clicking links or running commands
manually to download the bootstrap scripts or example projects, or
manually running `./mill init`, so it won't break any automated
releases.

This lets us substantially simplify the github actions workflows and
build config
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 a pull request may close this issue.

2 participants