Skip to content

[AUTO] Format files using DocumentFormat #23

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

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

Conversation

github-actions[bot]
Copy link

DocumentFormat.jl would suggest these formatting changes

@github-actions github-actions bot force-pushed the create-pull-request/patch branch 4 times, most recently from 0354f51 to 3d1db6b Compare August 27, 2022 00:22
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 3d1db6b to 2e6f956 Compare October 14, 2022 13:14
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 2e6f956 to 0c29561 Compare October 21, 2022 17:05
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 0c29561 to a6a867a Compare May 11, 2023 01:49
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from 838b297 to b0469e9 Compare July 15, 2023 02:50
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from b0469e9 to ba4f04f Compare July 30, 2023 02:59
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from 7e32ff1 to 760fd27 Compare August 23, 2023 23:47
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from eadd153 to 9de7f40 Compare August 31, 2023 00:48
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from 8ce8d67 to bb19694 Compare February 9, 2024 03:17
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from bb19694 to b9c0764 Compare February 9, 2024 03:33
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