Skip to content
This repository has been archived by the owner on Mar 21, 2024. It is now read-only.

Our build pipeline takes way too long. Let's move some bits to a daily build instead. #543

Closed
dumbledad opened this issue Jul 15, 2021 · 1 comment
Assignees
Labels
workflow Improvements to workflows (recovery, speed)

Comments

@dumbledad
Copy link
Contributor

dumbledad commented Jul 15, 2021

Some elements of our PR build pipeline take a long time to run and very rarely fail. This slows down the PR process substantially. We should prune those out and make a daily build which would run on main, and if it took an age that would not matter. Any errors picked up by the daily build would then become high priority issues for us to fix.

AB#4257

@dumbledad dumbledad removed their assignment Nov 18, 2021
@peterhessey peterhessey added the workflow Improvements to workflows (recovery, speed) label May 19, 2022
@peterhessey
Copy link
Contributor

It's important to ensure all training completes as expected before allowing merges. IMO anything < 30 mins for a PR build is acceptable. Better to merge good code slowly than have to hotfix bad code quickly.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
workflow Improvements to workflows (recovery, speed)
Projects
Status: Done
Development

No branches or pull requests

4 participants