tree 3f073186a02581418ba725b4f2abc8fec4af951b
parent 4f61c46abb4a2e13a0b3eb45d016aebe736df706
author Luca Milanesio <luca.milanesio@gmail.com> 1630526830 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1630526830 +0100

Add UTF-8 encoding option for console output on Jenkins

The jenkins console output characters may contain some
non-ASCII characters, like emojis.

Enforce UTF-8 encoding for the Jenkins JVM so that additional
characters can be rendered correctly.

Change-Id: I8831677ecae95662c13a40842a8e17ce193daa7d