Skip to content

Comments

Add firm data#185

Closed
vahid-ahmadi wants to merge 8 commits intomainfrom
firm-data
Closed

Add firm data#185
vahid-ahmadi wants to merge 8 commits intomainfrom
firm-data

Conversation

@vahid-ahmadi
Copy link
Collaborator

@vahid-ahmadi vahid-ahmadi commented Aug 31, 2025

Fixes #186

@vahid-ahmadi vahid-ahmadi self-assigned this Aug 31, 2025
@MaxGhenis
Copy link
Contributor

Closing as stale. Firm data work can be revisited in a dedicated repo.

@MaxGhenis MaxGhenis closed this Feb 23, 2026
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.

Add firm data

2 participants