Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Move "ensure-up-to-date" execution to CircleCI #944
Description of the PR
This PR does the change and I will perform some checks to ensure that it works as expected.