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

Fix Colibri2's mappings #120

Merged
merged 5 commits into from
May 31, 2024
Merged

Conversation

hra687261
Copy link
Contributor

No description provided.

@hra687261 hra687261 marked this pull request as ready for review May 31, 2024 05:43
@hra687261 hra687261 changed the title Attempt to fix Colibri2's mappings Fix Colibri2's mappings May 31, 2024
@filipeom
Copy link
Member

Thanks! 😃

@filipeom filipeom merged commit 50a135b into formalsec:main May 31, 2024
5 of 6 checks passed
@hra687261 hra687261 deleted the fix_test_colibri2 branch May 31, 2024 11:12
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