[+] add GHA workflow to publish devel docs (#600)

Author: pashagolub

.github/workflows/build.yml

@@ -178,4 +178,5 @@ jobs:
         echo "push_opt=--push" >> $GITHUB_ENV 
 
     - name: Build mkdocs
-      run: mike ${{ env.push_opt }} deploy devel
+      run: mike deploy ${{ env.push_opt }} devel
+