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

[new release] xedbindings (0.9) #26225

Merged
merged 1 commit into from
Jul 15, 2024
Merged

Conversation

percontation
Copy link
Contributor

@mseri
Copy link
Member

mseri commented Jul 10, 2024

Can you have a look at the failures?

@percontation
Copy link
Contributor Author

Yeah, I think I can get more of those failures working (or at least add a platform-availability filter if XED really won't build on some of these).

@percontation percontation force-pushed the xedbindings branch 6 times, most recently from 7484877 to 5d70689 Compare July 11, 2024 15:24
@percontation
Copy link
Contributor Author

Alright, should be good now. The only two failures are the opensuse-15.6 runners noticing that installation on platforms with python3 version <3.8 will fail (with an appropriate error message), but AFAIK this is the best option.

@mseri
Copy link
Member

mseri commented Jul 15, 2024

Thanks. Looks fine

@mseri mseri merged commit 4294b24 into ocaml:master Jul 15, 2024
2 of 3 checks passed
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