Skip to content

Merge pull request #107 from RoboTeamTwente/license #50

Merge pull request #107 from RoboTeamTwente/license

Merge pull request #107 from RoboTeamTwente/license #50

Triggered via push December 4, 2023 21:51
Status Success
Total duration 25m 20s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
docker
Failed to remove 'http.https://github.com/.extraheader' from the git config