Merge pull request #6927 from kit-ty-kate/trigger-ci-on-doc-changes #817
depexts.yml
on: push
opam-cache
4s
depexts-alpine
4m 6s
depexts-altlinux
5m 7s
depexts-archlinux
3m 54s
depexts-centos
4m 25s
depexts-debian
3m 46s
depexts-fedora
5m 28s
depexts-gentoo
7m 58s
depexts-opensuse
53s
depexts-oraclelinux
4m 13s
depexts-nix
6m 11s
depexts-ubuntu
12s
Annotations
2 errors
|
depexts-ubuntu
Docker build failed with exit code 1
|
|
depexts-opensuse
Docker build failed with exit code 1
|