Skip to content

Conversation

@frieschneider
Copy link
Collaborator

@frieschneider frieschneider commented Apr 3, 2025

move testdata to repository

@frieschneider frieschneider changed the title store testdata in repo move testdata to repository Apr 3, 2025
@frieschneider frieschneider marked this pull request as ready for review April 3, 2025 08:43
@apapapostolou
Copy link
Collaborator

The problem was due to the firewall of our server and has been fixed.

@frieschneider frieschneider deleted the fix_ci branch June 27, 2025 09:25
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