coverage-not…e3075f54d1037c71f0930f4…

Nov 13 2020

[ci] Extanding the ci:
1ca3bf659e84
·richart on Nov 13 2020, 12:03.
Adding git information to the code
5cc4b76ac4b6
·richart on Nov 13 2020, 12:02.