diff tests/test-push-checkheads-pruned-B1.t @ 4986:1214f3d085a9

ci: add job to build and archive the documentation
author Boris Feld <boris.feld@octobus.net>
date Fri, 06 Dec 2019 17:18:49 +0100
parents a8ff17479fb8
children f3e39a354378 fc60328270ac
line wrap: on
line diff