depexts

Merge pull request #6917 from rjbou/path-names #820

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
opam-cache	7s
depexts-altlinux	4m 41s
depexts-debian	4m 30s
depexts-alpine	3m 42s
depexts-fedora	4m 24s
depexts-gentoo	7m 49s
depexts-oraclelinux	4m 15s
depexts-archlinux	4m 1s
depexts-centos	4m 49s
depexts-opensuse	52s
depexts-ubuntu	15s
depexts-nix	6m 13s
	45m 38s