Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

github-windows: only create archive if on master. #16017

Merged
merged 2 commits into from Sep 20, 2023

Conversation

marcfehling
Copy link
Member

@marcfehling marcfehling commented Sep 20, 2023

We are only uploading the library as an artifact when merged on the master branch. However currently, we always create the library archive whether it is a merge commit or not.

This PR suggest to build the archive only on merge commits, which should speed up the windows workers on other commits by about 5 minutes.

@marcfehling
Copy link
Member Author

marcfehling commented Sep 20, 2023

We are also currently creating archives with the same name on different workers and upload them. This might create race conditions. I've added a second commit in which we only upload the artifact on one of the two workers.

I hope that this will get rid of the upload errors we face regularly with these workers.

@luca-heltai luca-heltai merged commit 6091815 into dealii:master Sep 20, 2023
10 of 15 checks passed
@marcfehling marcfehling deleted the windows-2 branch September 20, 2023 15:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants