Skip to content

Fix binder configuration#3139

Merged
dweindl merged 8 commits intoAMICI-dev:mainfrom
dweindl:gh-3138-binder
Feb 28, 2026
Merged

Fix binder configuration#3139
dweindl merged 8 commits intoAMICI-dev:mainfrom
dweindl:gh-3138-binder

Conversation

@dweindl
Copy link
Member

@dweindl dweindl commented Feb 26, 2026

  • Rename default user instead of attempting to create a new user with pre-existing ID. Fixes Binder configuration broken #3138
  • skip installing libatlas which is not necessary anymore.
  • install jax extras
  • use venv instead of the system env (no longer supported)
  • install correct sympy / pysb versions

👀 https://mybinder.org/v2/gh/dweindl/AMICI/25328720e5e0eae1473097c4b917842a2451b5b9?labpath=doc/examples/

Rename default user instead of attempting to create a new user with pre-existing ID.

Also skip installing libatlas which is not necessary anymore.

Fixes AMICI-dev#3138
@dweindl dweindl self-assigned this Feb 26, 2026
@codecov
Copy link

codecov bot commented Feb 26, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 76.71%. Comparing base (1fcaa3a) to head (2532872).
⚠️ Report is 5 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main    #3139      +/-   ##
==========================================
- Coverage   77.35%   76.71%   -0.64%     
==========================================
  Files         318      318              
  Lines       20631    20631              
  Branches     1483     1483              
==========================================
- Hits        15959    15827     -132     
- Misses       4664     4796     +132     
  Partials        8        8              
Flag Coverage Δ
cpp 70.44% <ø> (ø)
cpp_python 37.80% <ø> (ø)
petab 47.16% <ø> (ø)
python 68.90% <ø> (ø)
sbmlsuite-jax ?

Flags with carried forward coverage won't be shown. Click here to find out more.
see 4 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@dweindl dweindl changed the title Fix binder image default user Fix binder configuration Feb 27, 2026
@dweindl dweindl marked this pull request as ready for review February 27, 2026 09:32
@dweindl dweindl requested a review from a team as a code owner February 27, 2026 09:32
@dweindl dweindl merged commit 0673c83 into AMICI-dev:main Feb 28, 2026
24 of 25 checks passed
@dweindl dweindl deleted the gh-3138-binder branch February 28, 2026 15:04
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.

Binder configuration broken

2 participants