Skip to content

[AUTO] Format files using DocumentFormat#1032

Open
github-actions[bot] wants to merge 1 commit intomainfrom
create-pull-request/patch
Open

[AUTO] Format files using DocumentFormat#1032
github-actions[bot] wants to merge 1 commit intomainfrom
create-pull-request/patch

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

DocumentFormat.jl would suggest these formatting changes

@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 2ce8e6b to 20d3efb Compare March 12, 2022 17:24
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 4 times, most recently from e4d6541 to cb3d4dd Compare March 23, 2022 20:35
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from fcf561b to b56d967 Compare March 31, 2022 15:53
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from d1c187e to c6831fd Compare April 8, 2022 19:21
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 17 times, most recently from 5254431 to 949d9cc Compare May 2, 2022 13:43
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from 6081535 to 73934d3 Compare May 5, 2022 10:28
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 4 times, most recently from 18ec5b1 to 1b7e7a2 Compare May 25, 2022 18:55
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from cce3d72 to 4e5efaf Compare June 11, 2022 08:49
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from e6cb27c to 6ce489d Compare June 20, 2022 10:21
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from bb686cf to 27f9ff0 Compare July 3, 2022 13:58
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from f8e2d52 to e4d5713 Compare July 13, 2022 07:00
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from 266fab3 to f2803b9 Compare July 30, 2022 23:27
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from f2803b9 to e2eba47 Compare August 5, 2022 16:44
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 11 times, most recently from c952945 to 52fea18 Compare August 19, 2022 22:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant