[INFO] updating cached repository https://github.com/Disasm/picorv32-example [INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"` [INFO] [stderr] remote: [INFO] [stderr] remote: 502 Bad Gateway [INFO] [stderr] remote: [INFO] [stderr] remote:

502 Bad Gateway

[INFO] [stderr] remote:

nginx [INFO] [stderr] remote: [INFO] [stderr] remote: [INFO] [stderr] fatal: unable to access 'https://github.com/Disasm/picorv32-example/': The requested URL returned error: 504 [ERROR] this task or one of its parent failed! [ERROR] failed to update https://github.com/Disasm/picorv32-example [ERROR] caused by: command `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"` failed [ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace.