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: port to new infra, upgrade actions version #5365

Merged
merged 8 commits into from
Dec 1, 2022
Merged

Conversation

rjbou
Copy link
Collaborator

@rjbou rjbou commented Nov 23, 2022

Fixes #5282

gcc 10 compatibility was fixed in 4.09.1 and glibc 2.34 compatibility
was fixed in 4.13.0. Mirrors patches carried in opam-repository for
these compilers.
Copy link
Member

@dra27 dra27 left a comment

Choose a reason for hiding this comment

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

Warning-free loveliness from here on!

@dra27 dra27 merged commit fb9921e into ocaml:master Dec 1, 2022
This pull request was closed.
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.

[CI] Modifying .github/scripts/main/ocaml-cache.sh leads to failures on Windows
3 participants