Add scripts to verify anchors in CI (#3128)#3130

Merged

yikeke merged 4 commits into

release-3.0from

add-anchor-check-3.0

Jul 3, 2020

Commits on Jul 3, 2020

add anchor check to 3.0 branch
yikeke
committed
fix 10 anchors
yikeke
committed
Merge branch 'release-3.0' into add-anchor-check-3.0
yikeke
authored
fix an anchor
yikeke
committed