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
chore!: Make file manager read-only to the compiler #3760
chore!: Make file manager read-only to the compiler #3760
Changes from 32 commits
7e0a3d1
b2ff05b
5592348
d5fd4e0
2f137b7
41ae81f
c7f576c
a2460e6
270a0f4
52d33a5
a38c27c
6a5bf33
f72ce99
b30ad54
15a94ee
4599361
f20109e
4413350
d6a24e8
552a4dd
3f8551b
dd94b46
3495de5
851fab1
3cd35fd
d2590d5
5b867d5
5ebf83a
7a787d7
419273e
d120852
1e9ac97
cc92c07
9aa0bb7
3e26e3c
0b53332
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
This file was deleted.