Skip to content

Publish Scala package to Github packages#140

Merged
katrinafyi merged 9 commits intopartial_evalfrom
scala-mill-build
Jul 8, 2025
Merged

Publish Scala package to Github packages#140
katrinafyi merged 9 commits intopartial_evalfrom
scala-mill-build

Conversation

@katrinafyi
Copy link
Member

https://github.com/UQ-PAC/aslp/packages/2571890.

downloading the package needs a github token which is a bit inconvenient. i was gonna embed a read-packages token into basil's mill files ;-;

Copy link

@ailrst ailrst left a comment

Choose a reason for hiding this comment

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

Have you checked that mill supports downloading with the github read:packages token?

This looks fine though

@@ -11,3 +11,22 @@ mill main.run --opcode 0x8b031041
This should compile successfully. However, the last command will fail since
Copy link

Choose a reason for hiding this comment

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

Should be updated to ./mill

katrinafyi added a commit to UQ-PAC/BASIL that referenced this pull request Jul 8, 2025
Github packages provides a maven-compatible interface, so we can use
mill's ivy fetching infrastructure. this will also fix the mill build.

unfortunately, github requires a token in order to read packages - even
if they're "public". i've hardcoded a read:packages token. this is
probablyyyyyyy fine

see: UQ-PAC/aslp#140
@katrinafyi katrinafyi merged commit ca4562c into partial_eval Jul 8, 2025
4 checks passed
@katrinafyi katrinafyi deleted the scala-mill-build branch July 8, 2025 03:55
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.

2 participants