3 Commits

Author	SHA1	Message	Date
Maxim Reznik	f32e0dc547	Enable gcov and codecov.io	2020-06-03 13:23:29 +03:00
Maxim Reznik	7ab6f83588	Switch circle CI from Ubuntu:18.04 to Fedora 32 ... to have more recent compiler (10.0 vs 7.5). This code crashes gnat 7.5.	2020-06-03 13:23:28 +03:00
Maxim Reznik	f6c5083ce5	Switch Travis CI to ubuntu:18.04 (bionic LTS) ... to use newer gprbuild. Ubuntu 18.04 provides 2017, while 16.04 has only gprbuild 2014, which is buggy.	2020-06-03 13:23:28 +03:00