Hand merge of MR !31: Update the CI infrastructure to be faster
authorEric S. Raymond <esr@thyrsus.com>
Fri, 2 Jun 2017 10:42:35 +0000 (06:42 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Fri, 2 Jun 2017 10:42:35 +0000 (06:42 -0400)
commitf373d87ba7ca7b2011fe26ea81544daebfdf66fb
tree7ba04bad81773c6af21c84d3564a1368f27af99f
parent67d8c99e53ebd2d1eb8ba629a2991511408e2b1b
Hand merge of MR !31: Update the CI infrastructure to be faster
.gitignore
.gitlab-ci.yml
Makefile