Merge pull request #6257 from kit-ty-kate/rel-2.3.0-beta2 #308
depexts.yml
on: push
opam-cache
4s
depexts-alpine
5m 31s
depexts-archlinux
5m 31s
depexts-centos
5m 32s
depexts-debian
6m 3s
depexts-fedora
6m 22s
depexts-gentoo
17m 6s
depexts-opensuse
9m 11s
depexts-oraclelinux
8m 14s
depexts-ubuntu
10m 47s