3 Commits

Include renames

Author	SHA1	Message	Date
Giacomo Pozzoni	1c4e4353d0	CI/CircleCI: Switch to Ubuntu 21.04 (#26476) ... (cherry picked from commit 5991dcb12b638a0ef483fddeeda3e5744012dda6)	2021-07-29 19:07:52 +02:00
Ovahlord	49a8111b25	Contrib/Docker: added missing 4.x specific outputs and fixed pch build	2021-03-11 11:30:39 +01:00
Giacomo Pozzoni	3cc50b98a6	CI/CircleCI: Expose binaries built on Circle CI as docker images in the Circle CI artifacts	2021-03-11 10:53:51 +01:00