Skip to content

Update xeus-ocaml from 0.2.8 to 0.2.9 - #6200

Merged
IsabelParedes merged 3 commits into
mainfrom
bump-xeus-ocaml_0.2.8_to_0.2.9_for_main
Aug 12, 2026
Merged

Update xeus-ocaml from 0.2.8 to 0.2.9#6200
IsabelParedes merged 3 commits into
mainfrom
bump-xeus-ocaml_0.2.8_to_0.2.9_for_main

Conversation

@emscripten-forge-bot

Copy link
Copy Markdown
Contributor

Beep-boop-beep! Whistle-whistle-woo!

@emscripten-forge-bot emscripten-forge-bot added the Automerge The PR will be automatically merged if CI is green label Aug 8, 2026
@emscripten-forge-bot emscripten-forge-bot added the Needs Human Review The CI is not passing, automerge is disabled label Aug 9, 2026
@emscripten-forge-bot

Copy link
Copy Markdown
Contributor Author

Either the CI is failing, or the recipe is not tested. I need help from a human.
Ping the maintainers: @davy39
If you believe you are wrongly pinged, please comment here or open a PR removing you from the maintainers list.

davy39 and others added 2 commits August 12, 2026 14:01
* Refactor build.sh for opam

Unset OPAMSWITCH and export OPAMROOT.

* Unset LDFLAGS in build script

Unset LDFLAGS before running cmake.

@IsabelParedes IsabelParedes left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Thank you!

@IsabelParedes
IsabelParedes merged commit 37c06b0 into main Aug 12, 2026
3 checks passed
@IsabelParedes
IsabelParedes deleted the bump-xeus-ocaml_0.2.8_to_0.2.9_for_main branch August 12, 2026 12:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Automerge The PR will be automatically merged if CI is green Needs Human Review The CI is not passing, automerge is disabled

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants