Unverified Commit 1972bc5d authored by Michael Müller's avatar Michael Müller Committed by GitHub
Browse files

Bring `codecov` back (#1407)

* Revert "Remove `codecov` CI stage (#1405)"

This reverts commit 01115f3b

.

* Set `RUSTC_BOOTSTRAP`

* Update .gitlab-ci.yml
Co-authored-by: Andrew Jones's avatarAndrew Jones <ascjones@gmail.com>
Co-authored-by: Andrew Jones's avatarAndrew Jones <ascjones@gmail.com>
Co-authored-by: default avatarHernando Castano <hernando@hcastano.com>
parent cf0c22e5
Pipeline #216808 canceled with stages
in 8 minutes and 55 seconds