Pin GitHub actions dependency hashes#235

patzielinski wants to merge 1 commit intomastersecure-systems-lab/secure-systems-lab.github.io:masterfrom

pin-dependenciessecure-systems-lab/secure-systems-lab.github.io:pin-dependenciesCopy head branch name to clipboard