message: ci: some more CircleCI debug.
diff: @@ -22,7 +22,11 @@ jobs:
  resource_class: xlarge
  working_directory: /source
  steps:
  + - run: echo $CIRCLE_SHA1
  + - run: echo $CIRCLE_PR_NUMBER
  + - run: curl https://api.github.com/repos/envoyproxy/envoy/pulls/$CIRCLE_PR_NUMBER/commits
  - run: sleep 30 # workaround GH sync issue
  + - run: curl https://api.github.com/repos/envoyproxy/envoy/pulls/$CIRCLE_PR_NUMBER/commits
  - checkout
  - run: ci/do_circle_ci.sh bazel.asan
  tsan:
  