Skip to content

fix(server): handle undefined arguments for tools with all optional p… #127

fix(server): handle undefined arguments for tools with all optional p…

fix(server): handle undefined arguments for tools with all optional p… #127

Triggered via push January 24, 2026 00:21
Status Success
Total duration 3h 16m 54s
Artifacts

main.yml

on: push
Matrix: test
publish
0s
publish
publish-gh-pages
0s
publish-gh-pages
Fit to window
Zoom out
Zoom in