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

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 4ac53c6 to 5d5994d Compare September 25, 2020 22:58
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from 74253c0 to 0c2167b Compare October 6, 2020 18:08
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from 2712189 to c0539e4 Compare October 15, 2020 23:07
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from c0539e4 to 1467540 Compare February 12, 2021 21:25
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from dd4c6f7 to 45d5485 Compare April 5, 2021 00:37
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from ae6a33d to 9dabe10 Compare May 6, 2021 00:22
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from 0536b3b to 62b3ca4 Compare July 5, 2021 16:45
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 62b3ca4 to f791c7e Compare November 24, 2021 23:08
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from ef10c73 to c8fddff Compare August 26, 2022 06:10
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from 4c8d3fa to 0152ba6 Compare October 14, 2022 13:36
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 0152ba6 to 6d50303 Compare May 11, 2023 03:09
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 6d50303 to cce000c Compare June 8, 2023 07:15
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from cce000c to 893be0c Compare June 29, 2023 07:00
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 893be0c to e401940 Compare October 21, 2023 05:03
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from e401940 to 65ec456 Compare December 28, 2023 19:08
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