preparing Trocq to add prop #59
Triggered via pull request
December 20, 2023 20:18
CohenCyril
CohenCyril
opened
#9
Status
Failure
Total duration
4m 5s
Artifacts
–
Annotations
4 errors and 9 warnings
|
coq
no submodule mapping found in .gitmodules for path 'artifact-clean/coq-elpi'
|
|
coq-elpi
no submodule mapping found in .gitmodules for path 'artifact-clean/coq-elpi'
|
|
trocq
no submodule mapping found in .gitmodules for path 'artifact-clean/coq-elpi'
|
|
trocq
Process completed with exit code 1.
|
|
coq
The process '/usr/bin/git' failed with exit code 128
|
|
coq
The process '/usr/bin/git' failed with exit code 128
|
|
coq
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
coq-elpi
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
coq-elpi
The process '/usr/bin/git' failed with exit code 128
|
|
coq-elpi
The process '/usr/bin/git' failed with exit code 128
|
|
trocq
The process '/usr/bin/git' failed with exit code 128
|
|
trocq
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
trocq
The process '/usr/bin/git' failed with exit code 128
|