Hash pin GitHub Actions#307

hugovk merged 2 commits intopython:mainpython/python-docs-theme:mainfrom

hugovk:hash-pin-ghahugovk/python-docs-theme:hash-pin-ghaCopy head branch name to clipboard