Skip to content

Ci: Run the test suite on GitHub Actions, with and without the binder - #35

Merged
b-re-w merged 1 commit into
developfrom
work/ci
Oct 2, 2026
Merged

Ci: Run the test suite on GitHub Actions, with and without the binder#35
b-re-w merged 1 commit into
developfrom
work/ci

Commits

  1. Commits on Oct 2, 2026