Patryk Obara d08d988be6 Simplify build workflow ... Rename it from "Compilation" to "Build", as it's shorter and takes less space in GitHub UI. Remove GCC8 build configuration, as it does not add value: GCC9 build provides compilation on new compiler, while other Ubuntu builds cover compilation on default compilers.		2019-10-02 12:03:03 +02:00
..
workflows	Simplify build workflow	2019-10-02 12:03:03 +02:00