Merge pull request #6917 from rjbou/path-names #820
kit-ty-katedepexts.yml
on: push
opam-cache
7s
depexts-alpine
3m 42s
depexts-altlinux
4m 41s
depexts-archlinux
4m 1s
depexts-centos
4m 49s
depexts-debian
4m 30s
depexts-fedora
4m 24s
depexts-gentoo
7m 49s
depexts-opensuse
52s
depexts-oraclelinux
4m 15s
depexts-nix
6m 13s
depexts-ubuntu
15s
Annotations
2 errors
|
depexts-ubuntu
Docker build failed with exit code 1
|
|
depexts-opensuse
Docker build failed with exit code 1
|