Skip to content

[AUTO] Format files using DocumentFormat - #61

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
create-pull-request/patch
Closed

github-actions[bot] wants to merge 1 commit into
mainfrom
create-pull-request/patch

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

DocumentFormat.jl would suggest these formatting changes

Comment thread src/interface_def.jl Outdated

function $tname(dict::Dict)
end
function $tname(dict::Dict) end

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This line break should not be added.

Comment thread src/typed.jl Outdated
end

function NotificationType(method::AbstractString, ::Type{TPARAM}) where TPARAM
function NotificationType(method::AbstractString, ::Type{TPARAM}) where {TPARAM}

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These curly brackets should not be added.

@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch from 9fe56ea to 73e6ae8 Compare March 12, 2022 08:00
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch from 73e6ae8 to e2bb699 Compare July 26, 2022 05:45
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch from e2bb699 to 5f81b6c Compare August 18, 2022 22:19
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch 2 times, most recently from 79d5990 to 1f79102 Compare October 17, 2022 15:57
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch 3 times, most recently from 3c28438 to 1a48fb0 Compare February 11, 2023 07:08
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch 2 times, most recently from 0af469a to 2d47332 Compare March 23, 2023 19:21
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch from 2d47332 to 8d8bbbe Compare March 5, 2024 12:12
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch from 8d8bbbe to de3ff91 Compare June 28, 2024 12:53
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch 4 times, most recently from fa59ebc to 4e7d051 Compare August 22, 2024 09:03
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch from 4e7d051 to a955809 Compare September 7, 2024 22:54
@davidanthoff
davidanthoff deleted the create-pull-request/patch branch March 10, 2026 04:29
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