Fix a typo in the workflow docs
Merge branch '3.0' into 3.1