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

Test that custom metrics are displayed differentially #2

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

k2tzumi
Copy link
Owner

@k2tzumi k2tzumi commented Oct 5, 2024

refs #1

Copy link

github-actions bot commented Oct 5, 2024

Compiler Diagnostics

main (-) #2 (55efcee) +/-
Files 255 264 9
Lines 114,771 119,692 4,921
Identifiers 112,048 116,625 4,577
Symbols 244,542 252,574 8,032
Types 216,047 218,130 2,083
Instantiations 3,027,429 3,035,912 8,483
Memory used 421,607K 435,309K 13,702K
I/O read 0.02s 0.02s 0s
I/O write 0s 0s 0s
Parse time 0.7s 0.81s 0.11s
Bind time 0.29s 0.34s 0.05s
Check time 5.77s 5.96s 0.19s
Emit time 0s 0s 0s
Total time 6.75s 7.11s 0.36s

Reported by octocov

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