Skip to content

Add sessionID to RequestHandlerExtra type for tool invocations so multi-user services can distinguish users #328

Add sessionID to RequestHandlerExtra type for tool invocations so multi-user services can distinguish users

Add sessionID to RequestHandlerExtra type for tool invocations so multi-user services can distinguish users #328

This workflow is awaiting approval from a maintainer in #158
Triggered via pull request February 25, 2025 22:57
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #158

main.yml

on: pull_request
build
build
publish
publish
Fit to window
Zoom out
Zoom in