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.

Sign up for GitHub

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

Jump to bottom

Validate that CDDL files have been regenerated in CI #4520

Open
nc6 opened this issue Jul 31, 2024 · 0 comments
Open

Validate that CDDL files have been regenerated in CI #4520

nc6 opened this issue Jul 31, 2024 · 0 comments
Assignees
@Soupstraw
Labels
cddl Issues related to cddl specification 🛠️ infrastructure

Comments

@nc6
Copy link
Contributor

nc6 commented Jul 31, 2024

Following #4510, there is a new script scripts/gen-cddl.sh which regenerates the Conway (and in the future other eras) CDDL files. We can now check in CI whether this is updated if the underlying source changes.
@lehins lehins added the cddl Issues related to cddl specification label Aug 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Soupstraw Soupstraw

Labels
cddl Issues related to cddl specification 🛠️ infrastructure
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@lehins @nc6 @Soupstraw