Skip to content

Fix merge mistakes -- TODO: amend to the appropriate commits instead #26

Fix merge mistakes -- TODO: amend to the appropriate commits instead

Fix merge mistakes -- TODO: amend to the appropriate commits instead #26

Triggered via push April 8, 2024 01:58
Status Failure
Total duration 50s
Artifacts
Matrix: build-documentation
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build-documentation (ubuntu-latest)
remote error: upload-pack: not our ref bd144e0bfe37b01af508918f7632345feb5b73c7
build-documentation (ubuntu-latest)
Fetched in submodule path 'sources/lib/strings', but it did not contain bd144e0bfe37b01af508918f7632345feb5b73c7. Direct fetching of that commit failed.
build-documentation (ubuntu-latest)
The process '/usr/bin/git' failed with exit code 128