Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Dev automata validate #238
Dev automata validate #238
Changes from all commits
56363e0
7e1f935
d6a0956
2bd0133
2124b79
b2c6ed9
fe3da8d
b42d0db
89f0347
fbe6c6d
3d01fe9
5ea67a3
62a3d4d
62dc006
64de8ce
16e1738
10affeb
4bca32e
bfee43f
54aa8bb
e454ef3
8642d27
c9c6ca4
8bafbb3
8719f11
99a2f60
8bebfd4
803abab
b0117ad
939bf43
192debe
0d72c89
2e78359
7611e7d
f3bd786
6d63218
a301cfa
3475eda
7d4c8f7
aa7000d
ffdefe6
f3d1396
3274876
59a557e
2c0c518
23bd6bf
4578149
3d8057a
b74e04f
57255b6
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing