Skip to content

ci: use ubuntu-22.04 for local linux builds#3226

Merged
emilio merged 1 commit intorust-lang:mainfrom
NickeZ:nickez/ci-local-build-fix
Jun 18, 2025
Merged

ci: use ubuntu-22.04 for local linux builds#3226
emilio merged 1 commit intorust-lang:mainfrom
NickeZ:nickez/ci-local-build-fix

Conversation

@NickeZ
Copy link
Copy Markdown
Contributor

@NickeZ NickeZ commented Jun 9, 2025

This might fix the issue in the release github action.

edit:

At least it seems so with dist host --output-format=json

--- main.json   2025-06-09 12:32:16
+++ branch.json 2025-06-09 12:32:04
@@ -394,7 +394,7 @@
             "cache_provider": "github"
           },
           {
-            "runner": "ubuntu-20.04",
+            "runner": "ubuntu-22.04",
             "host": "x86_64-unknown-linux-gnu",
             "install_dist": {
               "shell": "sh",

@NickeZ
Copy link
Copy Markdown
Contributor Author

NickeZ commented Jun 18, 2025

@emilio would you mind reviewing this?

@emilio emilio added this pull request to the merge queue Jun 18, 2025
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 18, 2025
@emilio emilio added this pull request to the merge queue Jun 18, 2025
@emilio
Copy link
Copy Markdown
Contributor

emilio commented Jun 18, 2025

The failure wasn't your fault, see #3231.

Merged via the queue into rust-lang:main with commit bba0875 Jun 18, 2025
34 checks passed
@NickeZ NickeZ deleted the nickez/ci-local-build-fix branch June 18, 2025 15:34
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