Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

resolves 25: export zip archive instead targz #29

Merged
merged 8 commits into from
Oct 24, 2024

Conversation

thomas-saigre
Copy link
Collaborator

There was still a bug that was not fixed before #27 was merged.
Now it would be fixed (let's see what the CI will return 🤞)

@thomas-saigre thomas-saigre added the hal HAL archive label Oct 23, 2024
@thomas-saigre thomas-saigre linked an issue Oct 23, 2024 that may be closed by this pull request
@thomas-saigre
Copy link
Collaborator Author

@prudhomm Now the archive is correctly constructed and the artifacts are good.
I tried to put the zip file on HAL and everything went well !

@prudhomm prudhomm changed the title 25 export zip archive instead targz resolves 25: export zip archive instead targz Oct 24, 2024
@prudhomm prudhomm merged commit b2cb7a6 into main Oct 24, 2024
4 checks passed
@prudhomm prudhomm deleted the 25-export-zip-archive-instead-targz branch October 24, 2024 04:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
hal HAL archive
Projects
None yet
Development

Successfully merging this pull request may close these issues.

export zip archive instead tar.gz
2 participants