Skip to content

Conversation

@fm2003
Copy link
Collaborator

@fm2003 fm2003 commented Jun 30, 2025

It is not a good assignment. It was already removed from WebLab, and now causes problems in our pipeline because of flakiness. Therefore, we remove it.

@fm2003 fm2003 merged commit 5491ccf into main Jun 30, 2025
16 checks passed
@fm2003 fm2003 deleted the remove-is-triangle branch June 30, 2025 16:43
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