Skip to content

Rename references to old github organisation #890

Rename references to old github organisation

Rename references to old github organisation #890

Triggered via issue September 11, 2024 11:38
Status Failure
Total duration 43s
Artifacts

pr_bot.yml

on: issue_comment
PR comment
31s
PR comment
Deploy PR  /  make
Deploy PR / make
Destroy PR  /  make
Destroy PR / make
Clean-up  /  Clean devcontainer & TF state
Clean-up / Clean devcontainer & TF state
Summary
0s
Summary
Clean-up  /  Clean devcontainer & TF state
Clean-up / Clean devcontainer & TF state
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
PR comment
could not read Username for 'https://github.com': terminal prompts disabled
PR comment
could not read Username for 'https://github.com': terminal prompts disabled
PR comment
could not read Username for 'https://github.com': terminal prompts disabled
PR comment
The process '/usr/bin/git' failed with exit code 128
PR comment
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/