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

GHA: Fix the archlinux script #5218

Merged
merged 2 commits into from
Aug 3, 2022
Merged

GHA: Fix the archlinux script #5218

merged 2 commits into from
Aug 3, 2022

Conversation

kit-ty-kate
Copy link
Member

@kit-ty-kate kit-ty-kate commented Aug 3, 2022

archlinux does not upgrade dependencies by default without the 'u' argument and leads to issues where some packages can get installed with several versions of glibc

archlinux does not upgrade dependencies by default without the 'u' argument and leads to issues where some packages can get installed with several versions of glibc
@rjbou rjbou added this to PR in Out of release : doc, test, install, etc. via automation Aug 3, 2022
@rjbou rjbou merged commit eb881b5 into ocaml:master Aug 3, 2022
Out of release : doc, test, install, etc. automation moved this from PR to done Aug 3, 2022
@rjbou
Copy link
Collaborator

rjbou commented Aug 3, 2022

thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants