Skip to content

remove unused data from networks/ dir - #281

Merged
atravitz merged 1 commit into
mainfrom
remove_unused_data
Dec 11, 2025
Merged

atravitz merged 1 commit into
mainfrom
remove_unused_data

Conversation

@atravitz

Copy link
Copy Markdown
Contributor

following #275 and #276, this data isn't used anymore.

@github-actions

Copy link
Copy Markdown

Colab 👈 Launch a Colab session on branch remove_unused_data

@atravitz
atravitz marked this pull request as ready for review December 11, 2025 16:29
@atravitz
atravitz merged commit 7157bc7 into main Dec 11, 2025
5 checks passed
@atravitz
atravitz deleted the remove_unused_data branch December 11, 2025 18:29
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.

2 participants