Skip to content

Remove custom runners from dist action#29

Merged
luca-della-vedova merged 1 commit intomainfrom
luca/update_runners
Dec 23, 2025
Merged

Remove custom runners from dist action#29
luca-della-vedova merged 1 commit intomainfrom
luca/update_runners

Conversation

@luca-della-vedova
Copy link
Collaborator

@luca-della-vedova luca-della-vedova commented Dec 23, 2025

Our latest release failed because the linux aarch64 runners are using a very old rust version.
I'm not sure why we are using custom runners, it seems the default github runners do have the latest rust, CC @esteve since you set up the action in the first place?

The sad part is that since dist only triggers on new tags being pushed, this change won't actually be tested by the CI in this PR.

Signed-off-by: Luca Della Vedova <lucadv@intrinsic.ai>
@luca-della-vedova
Copy link
Collaborator Author

I tried to tag this commit to try dist out and it succeeded, I cancelled before it released. Will merge into main and re-tag to avoid leaving the tags in a half released state.

@luca-della-vedova luca-della-vedova merged commit 54c054e into main Dec 23, 2025
44 of 48 checks passed
@luca-della-vedova luca-della-vedova deleted the luca/update_runners branch December 23, 2025 01:39
@luca-della-vedova
Copy link
Collaborator Author

Release succeeded, @esteve can you help me cargo-publish the v0.1.10 tag to crates.io? We are two versions behind there (0.1.8)

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.

1 participant