deploy docs on github pages#40

Merged

KillTheMule merged 4 commits intoKillTheMule:masterfrom

Apr 2, 2022

Commits on Mar 24, 2022

deploy docs on github pages
zjp-CN
committed

Commits on Mar 26, 2022

Use #![doc_auto_cfg] to simplify documenting features
zjp-CN
committed

Commits on Mar 27, 2022

use deploy_key for doc deployment
zjp-CN
committed

Commits on Apr 1, 2022

make doc deployment not run on pull-request
zjp-CN
committed