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

[asl] Check type validity on user input #799

Merged
merged 5 commits into from
Apr 18, 2024
Merged

Conversation

HadrienRenaud
Copy link
Collaborator

@HadrienRenaud HadrienRenaud commented Feb 27, 2024

This PR aims at checking type-validity on every user-provided type.

@HadrienRenaud HadrienRenaud mentioned this pull request Feb 27, 2024
5 tasks
@HadrienRenaud HadrienRenaud marked this pull request as draft February 27, 2024 10:50
@HadrienRenaud HadrienRenaud force-pushed the asl-valid-types branch 7 times, most recently from dd2b712 to 9f4ec0e Compare March 5, 2024 19:58
@HadrienRenaud HadrienRenaud force-pushed the asl-valid-types branch 5 times, most recently from 6c14b99 to 46092e0 Compare March 28, 2024 14:29
@HadrienRenaud HadrienRenaud force-pushed the asl-valid-types branch 4 times, most recently from 5b00cbe to dce6f0d Compare April 10, 2024 15:16
@HadrienRenaud HadrienRenaud marked this pull request as ready for review April 10, 2024 15:17
@HadrienRenaud HadrienRenaud force-pushed the asl-valid-types branch 5 times, most recently from 9ea8851 to 47421db Compare April 10, 2024 23:57
@HadrienRenaud
Copy link
Collaborator Author

Hello, @maranget do you have any objection to merging this PR?

@jalglave
Copy link
Member

thanks @HadrienRenaud please do go ahead.
Jade

@HadrienRenaud HadrienRenaud merged commit 186d03a into master Apr 18, 2024
3 checks passed
@HadrienRenaud HadrienRenaud deleted the asl-valid-types branch April 18, 2024 16:50
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