Open hannesm opened 2 months ago
The error message was
2024-09-06 16:41.22: New job: git fetch https://github.com/mirage/charrua.git#refs/pull/127/head (05c0d9f23a205adac8b96b3797725a03198e4677)
2024-09-06 16:41.22: Exec: "git" "-C" "/var/lib/ocurrent/var/git/charrua.git-1fa4fc8af49ffe3746b2b001c3e85fd74b863ef95f109aed21765682489d9720"
"branch" "-f" "fetch-05c0d9f23a205adac8b96b3797725a03198e4677"
"05c0d9f23a205adac8b96b3797725a03198e4677"
fatal: not a valid branch point: '05c0d9f23a205adac8b96b3797725a03198e4677'
2024-09-06 16:41.23: Exec: "git" "-C" "/var/lib/ocurrent/var/git/charrua.git-1fa4fc8af49ffe3746b2b001c3e85fd74b863ef95f109aed21765682489d9720"
"fetch" "--recurse-submodules=false" "-q"
"-f" "https://github.com/mirage/charrua.git"
"refs/pull/127/head"
fatal: couldn't find remote ref refs/pull/127/head
2024-09-06 16:41.23: Job failed: Command "git" "-C" "/var/lib/ocurrent/var/git/charrua.git-1fa4fc8af49ffe3746b2b001c3e85fd74b863ef95f109aed21765682489d9720"
"fetch" "--recurse-submodules=false" "-q" "-f" "https://github.com/mirage/charrua.git"
"refs/pull/127/head" exited with status 128
thanks. when I clicked on the failing job, all I saw was an internal server error (=500) from ci.ocaml.org...
from https://github.com/mirage/charrua/pull/127/checks?check_run_id=29793738314 I get the following error: