TODO: submit to Codecov from Buildkite

Created by: DilumAluthge

Right now, we don't submit to Codecov from Buildkite. @maleadt What are the steps that we would need to take to submit coverage information to Codecov from the Buildkite jobs?