Skip to content

feat: polling-based tool monitoring#47

Merged
wenfengwang merged 7 commits intodevfrom
feat-watch
May 9, 2024
Merged

feat: polling-based tool monitoring#47
wenfengwang merged 7 commits intodevfrom
feat-watch

Conversation

@dolphin-wood
Copy link
Collaborator

Resolves #43

This PR:

  1. Added a npi_watch parameter to make all tools watchable
  2. Added agent.when() method

@dolphin-wood dolphin-wood added this to the v0.0.2 milestone May 8, 2024
@dolphin-wood dolphin-wood requested a review from wenfengwang May 8, 2024 03:02
@vercel
Copy link

vercel bot commented May 8, 2024

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
npi-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback May 9, 2024 3:45am

@wenfengwang wenfengwang merged commit 0524cd8 into dev May 9, 2024
@dolphin-wood dolphin-wood deleted the feat-watch branch May 9, 2024 03:59
wenfengwang pushed a commit that referenced this pull request May 15, 2024
* feat(app): add `npi_watch` parameter to monitor the changes in tool

* feat(sdk): add agent.when()

* fix(app/watch): use given interval

* chore(app/watch): tweak log format

* build(sdk): package version

* fix(sdk/watch): disable daemon mode

* feat(example): add github notifier
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Event trigger

2 participants