Tim Ruffing b994a8be3c ci: Print information about binaries using "file"

2021-03-03 01:21:11 +01:00

..

cirrus.sh

ci: Print information about binaries using "file"

2021-03-03 01:21:11 +01:00

linux-debian.Dockerfile

ci: Switch all Linux builds to Debian

2021-03-03 00:38:01 +01:00