merge dev into main #49

Merged
8464960 merged 430 commits from dev into main 2026-01-28 10:49:15 +00:00
Showing only changes of commit 0df6040444 - Show all commits

View File

@@ -118,6 +118,12 @@ class UserInterruptAgent(BaseAgent):
"Forwarded button press (override) with context '%s' to BDIProgramManager.",
event_context,
)
elif asl_goal := self._goal_map.get(ui_id):
await self._send_to_bdi("complete_goal", asl_goal)
self.logger.info(
"Forwarded button press (override) with context '%s' to BDI Core.",
event_context,
)
else:
self.logger.warning("Could not determine which element to override.")
elif event_type == "pause":