3 Commits

Author	SHA1	Message	Date
Stephan Guilloux (cos)	d4dd8a5417	Changed more git:gihub.com to https://github.com	2022-09-22 02:47:22 +02:00
Luca Boccassi	4bb9a4ccff	Problem: no CI coverage for VMCI transport ... Solution: add a build test	2021-02-21 11:50:38 +00:00
Simon Giesecke	bafd626dff	Problem: coverage build script doesn't recognize several config options ... Solution: extrace and reuse regular config option setting	2020-09-04 10:58:16 +02:00