Skip to content

dev: Normalize cppiterop specification in dev environment#483

Merged
mcbarton merged 3 commits intocompiler-research:mainfrom
jjerphan:dev/cppiterop-dev-env
Apr 30, 2026
Merged

dev: Normalize cppiterop specification in dev environment#483
mcbarton merged 3 commits intocompiler-research:mainfrom
jjerphan:dev/cppiterop-dev-env

Conversation

@jjerphan
Copy link
Copy Markdown
Contributor

@jjerphan jjerphan commented Apr 30, 2026

Description

micromamba 2.6.0 appears to be case-sensitive on MatchSpec in some context.

I can reproduce the error as of main and cannot with the change proposed by this PR.

Fixes #482.

Type of change

Please tick all options which are relevant.

  • Bug fix
  • New feature
  • Added/removed dependencies
  • Required documentation updates

Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>
@codecov-commenter
Copy link
Copy Markdown

codecov-commenter commented Apr 30, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 73.99%. Comparing base (58d6174) to head (b06c0c3).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #483      +/-   ##
==========================================
+ Coverage   73.51%   73.99%   +0.48%     
==========================================
  Files          23       23              
  Lines        1193     1196       +3     
  Branches      111      111              
==========================================
+ Hits          877      885       +8     
+ Misses        316      311       -5     
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@mcbarton
Copy link
Copy Markdown
Collaborator

@jjerphan you just need to update this wasm host environment file too https://github.com/jjerphan/xeus-cpp/blob/dev/cppiterop-dev-env/environment-wasm-host.yml and the ci should pass.

Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>

Co-authored-by: mcbarton <matthew.c.barton@hotmail.co.uk>
@mcbarton mcbarton merged commit 82f9064 into compiler-research:main Apr 30, 2026
18 checks passed
@jjerphan jjerphan deleted the dev/cppiterop-dev-env branch April 30, 2026 08:56
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 fails after latest micromamba release

3 participants