List view
Currently, the PR CI takes ~14min to complete. We need to decrease the time of that pipeline because: - It's inconvenient - They start getting queued, waiting for others to finish - They are going to potentially start getting large if we don't change the course (see #415) On this milestone, let's create all the tasks associated with fixing/solving the problems listed
No due date