Skip to content
Nix CI for bundle default

Merge pull request #8 from coq-community/more-examples #58

Sign in to view logs

Merge pull request #8 from coq-community/more-examples

Merge pull request #8 from coq-community/more-examples #58

Triggered via push December 15, 2023 17:35
@CohenCyrilCohenCyril
pushed bcf1e28
master
Status Success
Total duration 52m 37s
Artifacts –

nix-action-default.yml

on: push
coq
32s
coq
coq-elpi
1m 54s
coq-elpi
trocq
1m 50s
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
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
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.
coq-elpi
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
trocq
The process '/usr/bin/git' failed with exit code 128