Skip to content

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

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 #337

This workflow is awaiting approval from a maintainer in #158
Triggered via pull request February 28, 2025 11:50
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