Skip to content

Update requirements_extras.txt for new extras fork#2634

Merged
jgmelber merged 1 commit intomainfrom
extras-patch-1
Oct 7, 2025
Merged

Update requirements_extras.txt for new extras fork#2634
jgmelber merged 1 commit intomainfrom
extras-patch-1

Conversation

@jgmelber
Copy link
Collaborator

@jgmelber jgmelber commented Oct 7, 2025

Follow up to #2625

@jgmelber jgmelber merged commit 2fe928b into main Oct 7, 2025
58 of 61 checks passed
@jgmelber jgmelber deleted the extras-patch-1 branch October 7, 2025 20:45
@fifield
Copy link
Collaborator

fifield commented Oct 7, 2025

change requested: Please also remove the submodule:

[submodule "third_party/mlir-python-extras"]
	path = third_party/mlir-python-extras
	url = https://github.com/erwei-xilinx/mlir-python-extras.git

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