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
[PETSc] Add builder #845
[PETSc] Add builder #845
Changes from 1 commit
dab21d6
5a683e9
f932716
72b7ffe
bbc415a
d753bf4
ac59d0a
bd031d9
9fa5873
268713e
048a8ec
4cd2553
2a5809d
3d82ad8
308d120
d4af6f7
fab99cc
1baa11f
60b66a3
6c210fc
7705c04
ee69831
6ed93fa
40353b4
3d90566
abb6a6e
db347e1
c084dd8
77036ce
959f059
0f1be6f
899fc66
cabf0f3
391894c
83fbdb7
c4bf4f2
d2f865b
a4c75d8
d64712a
93a16d5
0371a12
b6350c0
e8da39c
a88c54a
d638543
81ee429
93611f7
208df14
8b5b3fa
0478348
5bf29fa
9821d59
5720e31
d0258f2
c4742d1
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing