Merge pull request #6279 from kit-ty-kate/rel-2.3.0-rc1 #313
depexts.yml
on: push
opam-cache
3s
depexts-alpine
5m 33s
depexts-archlinux
5m 36s
depexts-centos
5m 29s
depexts-debian
6m 4s
depexts-fedora
6m 8s
depexts-gentoo
17m 9s
depexts-opensuse
9m 4s
depexts-oraclelinux
8m 20s
depexts-ubuntu
10m 38s