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

CI: Workaround recently broken add-apt-repository on GHA #83214

Merged
merged 1 commit into from
Oct 12, 2023

Conversation

akien-mga
Copy link
Member

Hopefully adding the sources manually still works.

Follow-up to #83147, which didn't help.

Another attempt at working around https://github.com/orgs/community/discussions/69720.

@akien-mga akien-mga added this to the 4.2 milestone Oct 12, 2023
@akien-mga akien-mga requested a review from a team as a code owner October 12, 2023 20:28
@akien-mga akien-mga force-pushed the ci-linux-mesa-alt-install branch 4 times, most recently from 44e3fdb to 092574d Compare October 12, 2023 21:18
Copy link
Member

@aaronfranke aaronfranke left a comment

Choose a reason for hiding this comment

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

Approving to unblock - fingers crossed this works.

@akien-mga akien-mga force-pushed the ci-linux-mesa-alt-install branch 5 times, most recently from fde8c96 to 23f4fb9 Compare October 12, 2023 21:45
Hopefully adding the sources manually still works.
@akien-mga akien-mga force-pushed the ci-linux-mesa-alt-install branch from 23f4fb9 to 261fef7 Compare October 12, 2023 21:48
@akien-mga akien-mga merged commit ee118e7 into godotengine:master Oct 12, 2023
15 checks passed
@akien-mga akien-mga deleted the ci-linux-mesa-alt-install branch October 12, 2023 22:17
@akien-mga akien-mga added cherrypick:4.0 cherrypick:4.1 Considered for cherry-picking into a future 4.1.x release labels Oct 12, 2023
@cjwatson
Copy link

You should be able to revert workarounds now; I believe I've fixed it properly in Launchpad.

@akien-mga akien-mga removed cherrypick:4.0 cherrypick:4.1 Considered for cherry-picking into a future 4.1.x release labels Oct 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants