Fix name of workflow

.github/workflows/docs.yml

@@ -1,4 +1,4 b''
-name: Run tests
+name: Build docs
 
 on: [push, pull_request]