Use workspace dependencies #8095
Annotations
7 errors
Run some basic checks and tests (1.71, 4.14)
remote error: upload-pack: not our ref 1838e82bea3650e67ba986b756d32440a28508fc
|
Run some basic checks and tests (1.71, 4.14)
Fetched in submodule path 'proof-systems-vendors', but it did not contain 1838e82bea3650e67ba986b756d32440a28508fc. Direct fetching of that commit failed.
|
Run some basic checks and tests (1.71, 4.14)
The process '/usr/bin/git' failed with exit code 128
|
Run some basic checks and tests (1.72, 4.14)
The job was canceled because "_1_71_4_14" failed.
|
Run some basic checks and tests (1.72, 4.14)
remote error: upload-pack: not our ref 1838e82bea3650e67ba986b756d32440a28508fc
|
Run some basic checks and tests (1.72, 4.14)
Fetched in submodule path 'proof-systems-vendors', but it did not contain 1838e82bea3650e67ba986b756d32440a28508fc. Direct fetching of that commit failed.
|
Run some basic checks and tests (1.72, 4.14)
The process '/usr/bin/git' failed with exit code 128
|