Skip to content

Merge pull request #216 from AI-READI/idp-lang #873

Merge pull request #216 from AI-READI/idp-lang

Merge pull request #216 from AI-READI/idp-lang #873

Triggered via push October 21, 2025 20:03
Status Success
Total duration 2m 59s
Artifacts
Build and Deploy Job
2m 50s
Build and Deploy Job
Close Pull Request Job
0s
Close Pull Request Job
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build and Deploy Job
Failed to remove 'http.https://github.com/.extraheader' from the git config