Properly select "Release" build for Travis#2375

Merged

nlohmann merged 4 commits intonlohmann:developfrom karzhenkov:fix-travis-release

Mar 25, 2021

+5-2

Commits on Dec 22, 2020

Properly select the build type for Travis
karzhenkov
committed

Commits on Dec 23, 2020

Configure Travis to build "Release" instead of "Debug"
karzhenkov
committed

Commits on Dec 26, 2020

Build as "Debug" for coverage test
karzhenkov
committed

Commits on Mar 24, 2021

Merge branch 'develop' into nlohmann#2375
karzhenkov
committed