Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

P

picodata
- Activity
- Members
- Labels
- Container Registry
- Model registry

Snippets Groups Projects

8147ac3b

Commit 8147ac3b authored 7 months ago by godzie44 Committed by Georgy Moshkin 7 months ago

Downloads
- Patches
- Plain Diff

feature(plugin): add metrics module for plugin sdk

Closes 798

parent d81dfe23

No related branches found

No related tags found

Loading

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

picoplugin/src/lib.rs 1 addition, 0 deletions

picoplugin/src/lib.rs
picoplugin/src/metrics.rs 83 additions, 0 deletions

picoplugin/src/metrics.rs
picoplugin/src/plugin/interface.rs 20 additions, 0 deletions

picoplugin/src/plugin/interface.rs
src/lib.rs 14 additions, 2 deletions

src/lib.rs
src/plugin/manager.rs 21 additions, 4 deletions

src/plugin/manager.rs
test/int/test_plugin.py 18 additions, 0 deletions

test/int/test_plugin.py
test/testplug/src/lib.rs 10 additions, 0 deletions

test/testplug/src/lib.rs

with 167 additions and 6 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment