Add ocamlformat to CI #386
antoinepouilleci.yml
on: push
Matrix: install-ubuntu
js
33s
macos
41s
windows
49s
ocamlformat
38s
python
30s
deploy-docs
0s
deploy-js
0s
deploy-macos
0s
deploy-windows
0s
Annotations
36 errors
|
install-ubuntu (4.13.x)
protocol error: bad pack header
|
|
install-ubuntu (4.13.x)
protocol error: bad pack header
|
|
install-ubuntu (4.13.x)
protocol error: bad pack header
|
|
install-ubuntu (4.13.x)
The process '/usr/bin/git' failed with exit code 128
|
|
install-ubuntu (4.13.x, labltk)
protocol error: bad pack header
|
|
install-ubuntu (4.13.x, labltk)
protocol error: bad pack header
|
|
install-ubuntu (4.13.x, labltk)
protocol error: bad pack header
|
|
install-ubuntu (4.13.x, labltk)
The process '/usr/bin/git' failed with exit code 128
|
|
install-ubuntu (4.14.x, labltk)
protocol error: bad pack header
|
|
install-ubuntu (4.14.x, labltk)
protocol error: bad pack header
|
|
install-ubuntu (4.14.x, labltk)
protocol error: bad pack header
|
|
install-ubuntu (4.14.x, labltk)
The process '/usr/bin/git' failed with exit code 128
|
|
install-ubuntu (4.14.x)
protocol error: bad pack header
|
|
install-ubuntu (4.14.x)
protocol error: bad pack header
|
|
install-ubuntu (4.14.x)
protocol error: bad pack header
|
|
install-ubuntu (4.14.x)
The process '/usr/bin/git' failed with exit code 128
|
|
js
protocol error: bad pack header
|
|
js
protocol error: bad pack header
|
|
js
protocol error: bad pack header
|
|
js
The process '/usr/bin/git' failed with exit code 128
|
|
python
protocol error: bad pack header
|
|
python
protocol error: bad pack header
|
|
python
protocol error: bad pack header
|
|
python
The process '/usr/bin/git' failed with exit code 128
|
|
macos
protocol error: bad pack header
|
|
macos
protocol error: bad pack header
|
|
macos
protocol error: bad pack header
|
|
macos
The process '/usr/local/bin/git' failed with exit code 128
|
|
ocamlformat
protocol error: bad pack header
|
|
ocamlformat
protocol error: bad pack header
|
|
ocamlformat
protocol error: bad pack header
|
|
ocamlformat
The process '/usr/bin/git' failed with exit code 128
|
|
windows
protocol error: bad pack header
|
|
windows
protocol error: bad pack header
|
|
windows
protocol error: bad pack header
|
|
windows
The process 'C:\Program Files\Git\bin\git.exe' failed with exit code 128
|