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

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 3 times, most recently from d2f80a2 to 2464fab Compare August 26, 2022 20:02
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 2464fab to c5de620 Compare October 14, 2022 13:15
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from c5de620 to 6cbc907 Compare May 11, 2023 01:53
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 6cbc907 to 93c0400 Compare May 18, 2023 06:13
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 93c0400 to 576ad17 Compare June 8, 2023 07:06
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 576ad17 to 60209dd Compare June 29, 2023 07:01
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 60209dd to f9b2133 Compare August 24, 2023 23:19
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