Skip to content
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

[AUTO] Format files using DocumentFormat #152

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

github-actions[bot]
Copy link
Contributor

DocumentFormat.jl would suggest these formatting changes

@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 3fa5ab0 to a9c28f5 Compare March 23, 2020 21:44
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from 633ad58 to d15c6dd Compare May 2, 2020 09:07
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from d15c6dd to 74c35e0 Compare May 27, 2020 19:38
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 74c35e0 to c45dab4 Compare August 22, 2020 04:40
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 4 times, most recently from f840425 to 9a14396 Compare September 2, 2020 00:43
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 9a14396 to 808d26a Compare April 2, 2021 15:53
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 808d26a to 0e89bd6 Compare May 6, 2021 17:59
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from bfd5d76 to eb0f302 Compare August 11, 2021 17:12
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from eb0f302 to 6d1c367 Compare July 26, 2022 19:27
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 6d1c367 to e54caaa Compare August 18, 2022 18:07
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from e06e473 to a6c08b1 Compare October 14, 2022 13:39
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from a6c08b1 to 5a99046 Compare May 11, 2023 02:33
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 5a99046 to 868e7cf Compare December 29, 2023 03:09
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