Repository navigation

Ci: Run the suite daily against the binder, and open an issue when it fails - #44

Merged

b-re-w merged 1 commit into

Oct 3, 2026

Merged

Ci: Run the suite daily against the binder, and open an issue when it fails#44
b-re-w merged 1 commit into
developfrom
work/ci-daily

Commits on Oct 3, 2026
- Ci: Run the suite daily against the binder, and open an issue when it fails
  b-re-w
  committed
  de55428