Skip to content

Conversation

ev-br
Copy link
Member

@ev-br ev-br commented Dec 25, 2024

  • main is protected, so cannot push directly
  • cannot merge release_1.10 branch because the upload failed.

Let's see if a separate PR succeeds.

@ev-br
Copy link
Member Author

ev-br commented Dec 25, 2024

Same 'error being deployed', closing.

@ev-br ev-br closed this Dec 25, 2024
@ev-br ev-br deleted the 1.10_try2 branch December 28, 2024 07:49
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