2 commits

Author	SHA1	Message	Date
Nick Craig-Wood	fef90ef0a9	build: update Docker build workflows ... - prune docker images to ones we normally build binaries for - add fixed versions - add fetch-depth to fetch the tags so the version number is correct - rename the job names	2020-06-01 16:13:23 +01:00
Matteo Pietro Dazzi	72ae5626b0	build: Build Docker images with GitHub actions	2020-06-01 16:13:23 +01:00