Repository navigation

Add option to cancel and delete pipeline - #197

Merged

hranasit merged 11 commits into

develop-v0.5from

feature/149-add-option-to-cancel-or-delete-pipeline

Oct 23, 2026

Merged

Add option to cancel and delete pipeline#197
hranasit merged 11 commits into
develop-v0.5from
feature/149-add-option-to-cancel-or-delete-pipeline

Commits on Oct 19, 2026
- Add cancel button
  hranasit
  committed
  a332c53
- Add cancelling pipeline
  hranasit
  committed
  03d7cfd
- Add delete button
  hranasit
  committed
  1461e1b
- Add deleting pipeline
  hranasit
  committed
  8c47323
- Cancel only related tasks
  hranasit
  committed
  0dc4581
- Update haystack to support cancellation
  hranasit
  committed
  71884c0
- Wait in gather for others when exception is thrown
  hranasit
  committed
  e97978a
- Use TaskGroup to support cancellation
  hranasit
  committed
  c95b941
- Update error handling
  hranasit
  committed
  477cc2e
- Restore original plugin registration
  hranasit
  committed
  4b606ef
- Implement modal using radix
  hranasit
  committed
  d857b86