Skip to content

Merge pull request #1037 from rgantzos/main #18

Merge pull request #1037 from rgantzos/main

Merge pull request #1037 from rgantzos/main #18

Triggered via push December 27, 2025 22:58
Status Success
Total duration 10s
Artifacts
extract
7s
extract
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
extract
Unexpected input(s) 'installation_id', valid inputs are ['app_id', 'github_api_url', 'installation_retrieval_mode', 'installation_retrieval_payload', 'permissions', 'private_key', 'repositories', 'revoke']
extract
Unexpected input(s) 'installation_id', valid inputs are ['app_id', 'github_api_url', 'installation_retrieval_mode', 'installation_retrieval_payload', 'permissions', 'private_key', 'repositories', 'revoke']