Skip to content

Comments

Fix render CI#852

Closed
y4ssi wants to merge 1 commit intomainfrom
render_ci
Closed

Fix render CI#852
y4ssi wants to merge 1 commit intomainfrom
render_ci

Conversation

@y4ssi
Copy link

@y4ssi y4ssi commented May 27, 2024

No description provided.

@daira
Copy link
Collaborator

daira commented Jun 4, 2024

I don't really like this approach. I temporarily relaxed the branch protection instead.

@daira daira marked this pull request as draft June 4, 2024 17:07
@str4d
Copy link
Collaborator

str4d commented Jun 10, 2025

Replaced by #1017.

@str4d str4d closed this Jun 10, 2025
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.

3 participants