Skip to content

Merge remote-tracking branch 'origin/main' into retrospective-review #1372

Merge remote-tracking branch 'origin/main' into retrospective-review

Merge remote-tracking branch 'origin/main' into retrospective-review #1372

Triggered via push July 10, 2026 11:36
Status Success
Total duration 9s
Artifacts

ci.yml

on: push
shellcheck
5s
shellcheck
python-doctest
6s
python-doctest
Fit to window
Zoom out
Zoom in