Skip to content

Merge pull request #1038 from rgantzos/main #19

Merge pull request #1038 from rgantzos/main

Merge pull request #1038 from rgantzos/main #19

Triggered via push December 28, 2025 23:29
Status Success
Total duration 13s
Artifacts
extract
9s
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']