Skip to content

Type parameters#3

Merged
eshu merged 5 commits intomainfrom
parameters
Nov 15, 2025
Merged

Type parameters#3
eshu merged 5 commits intomainfrom
parameters

Conversation

@eshu
Copy link
Copy Markdown
Member

@eshu eshu commented Nov 15, 2025

No description provided.

@github-actions
Copy link
Copy Markdown

e23c4d5

reflect (root)

Scala 2.12

Project Name reflect
ID root
Statements Total 38
Invoked 27
Ignored 0
Rate $\color{#ff0}71.05\%$
Branches Total 4
Invoked 0
Rate $\color{#f00}0.00\%$

reflect (root)

Scala 2.13

Project Name reflect
ID root
Statements Total 30
Invoked 19
Ignored 0
Rate $\color{#ff0}63.33\%$
Branches Total 4
Invoked 0
Rate $\color{#f00}0.00\%$

Download full HTML report

@github-actions
Copy link
Copy Markdown

bd3b405

reflect (root)

Scala 2.12

Project Name reflect
ID root
Statements Total 38
Invoked 27
Ignored 0
Rate $\color{#ff0}71.05\%$
Branches Total 4
Invoked 0
Rate $\color{#f00}0.00\%$

reflect (root)

Scala 2.13

Project Name reflect
ID root
Statements Total 30
Invoked 19
Ignored 0
Rate $\color{#ff0}63.33\%$
Branches Total 4
Invoked 0
Rate $\color{#f00}0.00\%$

Download full HTML report

@github-actions
Copy link
Copy Markdown

0418ea6

reflect (root)

Scala 2.12

Project Name reflect
ID root
Statements Total 43
Invoked 42
Ignored 0
Rate $\color{#0f0}97.67\%$
Branches Total 7
Invoked 7
Rate $\color{#0f0}100.00\%$

reflect (root)

Scala 2.13

Project Name reflect
ID root
Statements Total 35
Invoked 34
Ignored 0
Rate $\color{#0f0}97.14\%$
Branches Total 7
Invoked 7
Rate $\color{#0f0}100.00\%$

Download full HTML report

@github-actions
Copy link
Copy Markdown

f2828aa

reflect (root)

Scala 2.12

Project Name reflect
ID root
Statements Total 43
Invoked 43
Ignored 0
Rate $\color{#0f0}100.00\%$
Branches Total 7
Invoked 7
Rate $\color{#0f0}100.00\%$

reflect (root)

Scala 2.13

Project Name reflect
ID root
Statements Total 35
Invoked 35
Ignored 0
Rate $\color{#0f0}100.00\%$
Branches Total 7
Invoked 7
Rate $\color{#0f0}100.00\%$

Download full HTML report

@eshu eshu merged commit e5bcf1d into main Nov 15, 2025
1 check passed
@eshu eshu deleted the parameters branch November 18, 2025 11:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant