Need a github workflow to check dist on push/pull_request

[Patrick Zheng]

Very often, npm run build might be forgotten after code changes. We need to add a new github workflow to detect this.