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
The Witness: Advanced Hints Options #3706
base: main
Are you sure you want to change the base?
The Witness: Advanced Hints Options #3706
Changes from 17 commits
d24d8c6
d3dd224
8cfdc13
1e06005
0da84b0
ed1553a
eac3f41
65a3c22
2edc77b
148bf99
cd87291
16027c3
08c0b79
fb8f251
8ddc3f2
e854479
88c2881
73b18f7
5c4d9cd
2c971b4
20db413
9f1280a
af61935
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing