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

Create schema for suite.yaml and result.yaml #2520

Open
karkhaz opened this issue Jun 13, 2023 · 0 comments
Open

Create schema for suite.yaml and result.yaml #2520

karkhaz opened this issue Jun 13, 2023 · 0 comments
Assignees
@karkhaz
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.

Comments

@karkhaz
Copy link
Contributor

karkhaz commented Jun 13, 2023

No description provided.

@karkhaz karkhaz converted this from a draft issue Jun 13, 2023
@karkhaz karkhaz self-assigned this Jun 13, 2023
@karkhaz karkhaz moved this to Todo in Kani 2023-06-19 Jun 20, 2023
@karkhaz karkhaz moved this to In Progress in Kani 2023-08-01 Jul 11, 2023
@qinheping qinheping mentioned this issue Jul 23, 2023
Merged
@tautschnig tautschnig added the [C] Internal Tracks some internal work. I.e.: Users should not be affected. label Sep 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@karkhaz karkhaz

Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.
Projects
No open projects
Kani 2023-06-19
Status: Todo
Kani 2023-08-01
Status: In Progress
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tautschnig @karkhaz