Deploy to GitHub Pages

Merge pull request #1444 from o0PHOENIX0o/DeadLockDetection #59

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Docusaurus	45s
Deploy to GitHub Pages	7s
	52s