Merge branch 'wip/dueno/ci-fixes' into 'master'

Merge !71 along with CI fixes

See merge request gnutls/libtasn1!74