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
Parallel compilation #441
Parallel compilation #441
Changes from 1 commit
82f8228
b36fa7a
843578f
398db7e
bfcb7e6
9049259
297cbd3
d1bcab5
b2f71ef
2f29bdb
e3a44d4
164bd18
e9e127c
f147ae8
16b27d8
c5048e1
6213204
7f3b220
b5b3937
bcba266
f859621
6e1e0f6
c0de5b5
a99b36e
85378c2
c380ad4
788d387
c582677
b03accb
f39fcb0
6d21964
e428f07
fa11165
2ed7172
9e37b0a
31779cd
03b4598
065bb04
5e4cd3a
d63c749
c5fee89
a205aab
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing