tree c6de456c74b6098a6b78a5d6f5d36750aaa67e76
parent 342a67f81c76564bd84489249ae4e49af77bb20a
parent 64b2034d7ca314d8246b132d00bb909ebcbc0201
author Jan Kundrát <jan.kundrat@cesnet.cz> 1589707587 +0200
committer Gerrit Code Review <gerrit@gerrit.cesnet.cz> 1589707587 +0200

Merge "CI: tweak the build matrix"