Documentation build and depolyment problem: - ✘ `push_preview` keyword argument to deploydocs is `true`

[yhuang]

I revisited it today. It was a branch name issue (checking github issue is useful), after changing the master in the documentation.yml to main, it works now.