Skip to content

Fix CI regarding large file#47

Merged
hugotiburtino merged 2 commits intomainfrom
fix-ci-dump
Mar 7, 2025
Merged

Fix CI regarding large file#47
hugotiburtino merged 2 commits intomainfrom
fix-ci-dump

Conversation

@hugotiburtino
Copy link
Member

Followup of #46

@hugotiburtino hugotiburtino requested a review from hejtful March 7, 2025 13:15
@hugotiburtino hugotiburtino merged commit 233d15a into main Mar 7, 2025
1 check passed
@hugotiburtino hugotiburtino deleted the fix-ci-dump branch March 7, 2025 13:53
@hugotiburtino hugotiburtino mentioned this pull request Mar 8, 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.

1 participant