diff .gitlab-ci.yml @ 5802:84efc2e92228

rewind: abort if some parts of a fold are unknown locally
author Anton Shestakov <av6@dwimlabs.net>
date Tue, 22 Dec 2020 19:07:46 +0800
parents 4737d3db1671
children 6ce036cb7fd4 c0ed8e574638
line wrap: on
line diff