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

feat: store metrics in a dedicated repository #1047

Merged
merged 11 commits into from
Mar 20, 2023
Merged

feat: store metrics in a dedicated repository #1047

merged 11 commits into from
Mar 20, 2023

Conversation

loicmathieu
Copy link
Member

No description provided.

@loicmathieu loicmathieu force-pushed the metrics branch 2 times, most recently from e7c30aa to ef81861 Compare March 8, 2023 15:47
@loicmathieu loicmathieu marked this pull request as ready for review March 8, 2023 16:43
@loicmathieu loicmathieu force-pushed the metrics branch 7 times, most recently from a32a18c to d1acf9c Compare March 10, 2023 16:28
@tchiotludo tchiotludo force-pushed the develop branch 2 times, most recently from 0f6a784 to 320c925 Compare March 13, 2023 10:39
@loicmathieu loicmathieu force-pushed the metrics branch 2 times, most recently from 0cfd900 to bacb7f4 Compare March 13, 2023 14:50
@@ -23,7 +24,7 @@
@JsonSubTypes.Type(value = Timer.class, name = "timer"),
})
@ToString
@EqualsAndHashCode
@EqualsAndHashCode(exclude="creationTime")
Copy link
Member

Choose a reason for hiding this comment

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

Seems to be too magical, maybe have a proper method compare instead of really on equals?

Copy link
Member Author

Choose a reason for hiding this comment

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

Isn't it the purpose of Lombok to provide magical highly productive trick ?

jdbc-h2/src/main/resources/migrations/h2/V6__metrics.sql Outdated Show resolved Hide resolved
@loicmathieu
Copy link
Member Author

Warning, if #1076 is merged before the name of the migration must be updated!

@tchiotludo tchiotludo merged commit 570374e into develop Mar 20, 2023
@tchiotludo tchiotludo deleted the metrics branch March 20, 2023 16:01
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.

3 participants