Closed
Description
Bors CI is currently broken on ubuntu-latest
due to a missing dependency. #10039 moved the CI to ubuntu-20.04
in the meantime. This is a reminder issue, to move the CI back, once the dependency has been released.
Bors CI is currently broken on ubuntu-latest
due to a missing dependency. #10039 moved the CI to ubuntu-20.04
in the meantime. This is a reminder issue, to move the CI back, once the dependency has been released.