Fix plugin-check CI: pin dist-archive-command to ^3.1#13

jdevalk merged 3 commits into

developProgressPlanner/comment-free-zone:developfrom

filip/fix-dist-archive-pinProgressPlanner/comment-free-zone:filip/fix-dist-archive-pinCopy head branch name to clipboard