[AUTO] Format files using DocumentFormat#1032
Open
github-actions[bot] wants to merge 1 commit intomainfrom
Open
[AUTO] Format files using DocumentFormat#1032github-actions[bot] wants to merge 1 commit intomainfrom
github-actions[bot] wants to merge 1 commit intomainfrom
Conversation
2ce8e6b to
20d3efb
Compare
e4d6541 to
cb3d4dd
Compare
fcf561b to
b56d967
Compare
d1c187e to
c6831fd
Compare
5254431 to
949d9cc
Compare
6081535 to
73934d3
Compare
18ec5b1 to
1b7e7a2
Compare
cce3d72 to
4e5efaf
Compare
e6cb27c to
6ce489d
Compare
bb686cf to
27f9ff0
Compare
f8e2d52 to
e4d5713
Compare
266fab3 to
f2803b9
Compare
f2803b9 to
e2eba47
Compare
c952945 to
52fea18
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
DocumentFormat.jl would suggest these formatting changes