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

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 from a1124f1 to 2d33fdb Compare August 24, 2022 00:17
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from 20497e6 to 02ac40a Compare October 3, 2022 22:31
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 02ac40a to 070c52a Compare October 14, 2022 14:47
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 070c52a to 3ce395d Compare January 12, 2023 17:48
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 3ce395d to dcaf625 Compare January 19, 2023 19:29
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from dcaf625 to a7a59d1 Compare May 11, 2023 03:00
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from a7a59d1 to 4174188 Compare June 15, 2023 22:25
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 4174188 to c8d487b Compare October 24, 2023 06:03
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from c8d487b to b2c0dda Compare December 29, 2023 00:44
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 3 times, most recently from 1bbc785 to d2cfa8a Compare March 11, 2024 19:55
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from d2cfa8a to 4fc6b5e Compare June 28, 2024 12:55
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