Skip to content

Conversation

@mrbean-bremen
Copy link
Contributor

If this passes, we can use it as a temporary solution until the problem is fixed.

@mrbean-bremen
Copy link
Contributor Author

Incorporating this into the pre-commit PR.

@mrbean-bremen
Copy link
Contributor Author

Actually, that issue had been fixed before, and it is unclear why it now fails. Could also be that the servers with the sources are not yet fully available after the version has been officially released (has happened before). May also have to do with the separate versioning of QtWebEngine. We probably just retry after a few days...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant