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