Repository navigation

ci: ci-ok runs unless the run was cancelled (port #111 to main) - #114

Merged

addisdev merged 1 commit into

mainfrom

claude/determined-bohr-32nsy5

Oct 25, 2026

Merged

ci: ci-ok runs unless the run was cancelled (port #111 to main)#114
addisdev merged 1 commit into
mainfrom
claude/determined-bohr-32nsy5

Commits on Oct 25, 2026
- ci: the ci-ok job runs unless the run was cancelled (if: !cancelled()) (#111)
  
  addisdev
  and
  claude
  committed
  7628d16