Skip to content

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

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

b-re-w merged 1 commit into
developfrom
work/ci-daily

Ci: Run the suite daily against the binder, and open an issue when it…

de55428
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
with-binder
succeeded Oct 3, 2026 in 41s