Merge pull request #6292 from kit-ty-kate/rel-2.3.0 #314
depexts.yml
on: push
opam-cache
2s
depexts-alpine
5m 45s
depexts-archlinux
5m 26s
depexts-centos
5m 13s
depexts-debian
6m 15s
depexts-fedora
5m 40s
depexts-gentoo
17m 45s
depexts-opensuse
9m 6s
depexts-oraclelinux
8m 22s
depexts-ubuntu
10m 18s