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 #353

Open
wants to merge 1 commit into
base: main
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 3 times, most recently from 12c10bf to 0cfb970 Compare July 26, 2022 05:43
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 0cfb970 to fb2fe8d Compare August 1, 2022 09:35
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 4 times, most recently from 1a8dba3 to 589e824 Compare August 18, 2022 21:47
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 589e824 to 034b6eb Compare October 3, 2022 22:27
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 034b6eb to f24cb15 Compare October 14, 2022 14:42
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from f24cb15 to 39b099d Compare February 6, 2023 09:03
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 39b099d to 4b3cd9a Compare May 11, 2023 02:19
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 4b3cd9a to fc633bc Compare July 3, 2023 07:53
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from df25998 to 251eeb0 Compare July 27, 2023 20:06
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 251eeb0 to 47e14c2 Compare December 27, 2023 21:30
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 5 times, most recently from a65434f to 3384541 Compare January 8, 2024 14:41
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from 2020f20 to 916f7fe Compare February 1, 2024 19:43
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 916f7fe to e120143 Compare February 20, 2024 21:41
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from 05e6249 to da3793f Compare March 5, 2024 10:42
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from f155f47 to f3c79cc Compare April 23, 2024 10:10
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from 0762e88 to f25be1c Compare May 6, 2024 09:39
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from f25be1c to 00eb34f Compare June 11, 2024 15:30
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 00eb34f to 0c10cda Compare June 28, 2024 12:51
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 0c10cda to bd67fd4 Compare July 14, 2024 16:41
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