Skip to content
Lint PR

chore(ci): add get_tool_input_properties to public API snapshot #1415

Sign in to view logs

chore(ci): add get_tool_input_properties to public API snapshot

chore(ci): add get_tool_input_properties to public API snapshot #1415

Triggered via pull request October 6, 2026 10:14
@ioannisjioannisj
opened #1014
fix/public-api-snapshot
Status Success
Total duration 8s
Artifacts –

lint-pr.yml

on: pull_request
Validate PR title against Conventional Commits  /  Validate PR title against Conventional Commits
4s
Validate PR title against Conventional Commits / Validate PR title against Conventional Commits
Fit to window
Zoom out
Zoom in