docker CI

Merge pull request #491 from proux01/ci-update #1323

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
opam (8.18)	5m 20s
opam (8.19)	5m 14s
opam (8.20)	4m 29s
release	0s
	15m 3s