Skip to content
Nix CI for bundle default

🚧 Additional example relating tuples and vectors #47

Sign in to view logs

🚧 Additional example relating tuples and vectors

🚧 Additional example relating tuples and vectors #47

Triggered via pull request December 9, 2023 17:41
@CohenCyrilCohenCyril
synchronize #8
Status Success
Total duration 4m 0s
Artifacts –

nix-action-default.yml

on: pull_request_target
coq
28s
coq
coq-elpi
1m 30s
coq-elpi
trocq
1m 43s
trocq
Fit to window
Zoom out
Zoom in

Annotations

3 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'
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
The process '/usr/bin/git' failed with exit code 128
coq-elpi
The process '/usr/bin/git' failed with exit code 128
coq-elpi
The process '/usr/bin/git' failed with exit code 128
coq-elpi
Unable to clean or reset the repository. The repository will be recreated instead.
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
trocq
The process '/usr/bin/git' failed with exit code 128