Repository navigation

Cancel running reasoner - #890

Closed

pChou19 wants to merge 5 commits into

mainfrom

feature/reasoner_cancel

Closed

Cancel running reasoner#890
pChou19 wants to merge 5 commits into
mainfrom
feature/reasoner_cancel

Commits on Sep 17, 2026
- feature: set version 1.59.5-reasoner_cancel-SNAPSHOT for feature/reasoner_cancel
  pChou19
  committed
  ea080a9
Commits on Sep 23, 2026
- Cancel remote reasoner runs from Komet
  pChou19
  committed
  3cc7be5
- update: merge main into feature/reasoner_cancel
  pChou19
  committed
  66e64c2
Commits on Sep 28, 2026
- update: merge main into feature/reasoner_cancel
  pChou19
  committed
  e1f3df3
- Update cancel log message
  pChou19
  committed
  6fe8808