check-pull-request: build_url is unused