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

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 62862bd to b738a46 Compare April 5, 2022 16:41
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from b738a46 to 6bb8831 Compare May 2, 2022 09:45
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 6bb8831 to 3e7536c Compare May 24, 2022 10:21
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 3e7536c to 416867b Compare June 16, 2022 11:17
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 416867b to f779a49 Compare July 26, 2022 05:45
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from f779a49 to 9dce82c Compare August 18, 2022 20:43
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 9dce82c to 47b9dfa Compare October 14, 2022 12:57
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 47b9dfa to 2546df8 Compare January 2, 2023 10:41
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 2546df8 to eebb7ef Compare May 11, 2023 02:14
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from eebb7ef to 41448f0 Compare June 1, 2023 08:22
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 8 times, most recently from 7d5a6c9 to 7fe1d5d Compare September 25, 2023 08:54
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 7fe1d5d to e9944b2 Compare September 27, 2023 18:39
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from e9944b2 to fb9a76f Compare December 29, 2023 01:31
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from fb9a76f to 1648840 Compare January 8, 2024 15:40
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from 63e98c7 to 6dc980a Compare April 5, 2024 13:38
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from 431b0ac to 4c409eb Compare May 30, 2024 01:01
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 4c409eb to 3d24b83 Compare June 28, 2024 12:49
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 3d24b83 to eb72141 Compare December 19, 2024 20:55
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from eb72141 to 4b56876 Compare December 19, 2024 21:02
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