Skip to content

ci: one run per push, pinned actions and dev tools, pip cache - #220

Merged
lollox80 merged 1 commit into
mainfrom
ci/workflow-tidy
Oct 23, 2026
Merged

ci: one run per push, pinned actions and dev tools, pip cache#220
lollox80 merged 1 commit into
mainfrom
ci/workflow-tidy

Commits

  1. Commits on Oct 23, 2026