Skip to content
This repository was archived by the owner on Sep 2, 2025. It is now read-only.

ci: pin GitHub-hosted runners OS versions#105

Merged
larseggert merged 1 commit into
mozilla:mainfrom
mxinden:ci-pin-os
Mar 13, 2025
Merged

ci: pin GitHub-hosted runners OS versions#105
larseggert merged 1 commit into
mozilla:mainfrom
mxinden:ci-pin-os

Conversation

@mxinden

@mxinden mxinden commented Mar 12, 2025

Copy link
Copy Markdown
Member

No description provided.

@mxinden

mxinden commented Mar 12, 2025

Copy link
Copy Markdown
Member Author

Related, should we also test on ubuntu-24.04-arm @larseggert?

@larseggert

Copy link
Copy Markdown
Collaborator

Good idea

@mxinden

mxinden commented Mar 12, 2025

Copy link
Copy Markdown
Member Author

Cool. I will propose a pull request.

@mxinden

mxinden commented Mar 12, 2025

Copy link
Copy Markdown
Member Author

Related, should we also test on ubuntu-24.04-arm @larseggert?

Never mind. I had an outdated version locally. Already done in 71b52fc.

@larseggert larseggert enabled auto-merge March 12, 2025 13:49
@mxinden

mxinden commented Mar 13, 2025

Copy link
Copy Markdown
Member Author

Same issue as mozilla/neqo#2481 (comment). @larseggert can you adjust the names of the required CI steps here too?

@larseggert larseggert disabled auto-merge March 13, 2025 15:51
@larseggert larseggert merged commit 750a627 into mozilla:main Mar 13, 2025
larseggert added a commit that referenced this pull request Mar 31, 2025
We got rid of `latest` in #105. Fix the logic to account for that.
(Also fix two instanced where we still used `latest`.)
larseggert added a commit that referenced this pull request Mar 31, 2025
We got rid of `latest` in #105. Fix the logic to account for that.
(Also fix two instanced where we still used `latest`.)
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants