Update Github Actions builds#60

mrts merged 1 commit intomainweb-eid/web-eid.js:mainfrom

coverity_scanweb-eid/web-eid.js:coverity_scanCopy head branch name to clipboard