Skip to content

Add Develocity to the build on GitHub #1901

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.

Sign up for GitHub

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

Jump to bottom
Closed
DavideD opened this issue Apr 26, 2024 · 1 comment
Closed

Add Develocity to the build on GitHub #1901

DavideD opened this issue Apr 26, 2024 · 1 comment
Labels
build Something related to the build
Milestone
3.0.0.Beta3

Comments

@DavideD
Copy link
Member

DavideD commented Apr 26, 2024

No description provided.

@DavideD DavideD self-assigned this Apr 26, 2024
@DavideD DavideD added the build Something related to the build label Apr 26, 2024
@DavideD DavideD added this to the next milestone Apr 26, 2024
DavideD added a commit to DavideD/hibernate-reactive that referenced this issue Apr 26, 2024
@DavideD
[hibernate#1901] Add Develocity to GitHub actions
ab120e8 
via the Hibernate GitHub bot plugin
DavideD added a commit that referenced this issue Apr 26, 2024
@DavideD
[#1901] Add Develocity to GitHub actions
86ca83a 
via the Hibernate GitHub bot plugin
DavideD added a commit to DavideD/hibernate-reactive that referenced this issue Apr 26, 2024
@DavideD
[hibernate#1901] Configure Develocity
65ae63b
DavideD added a commit to DavideD/hibernate-reactive that referenced this issue Apr 26, 2024
@DavideD
[hibernate#1901] Configure Develocity
c899775
DavideD added a commit that referenced this issue Apr 26, 2024
@DavideD
Revert "[#1901] Configure Develocity"
400e32e 
This reverts commit c899775.
DavideD added a commit that referenced this issue Apr 26, 2024
@DavideD
Revert "[#1901] Add Develocity to GitHub actions"
9b1b18a 
This reverts commit 86ca83a.
@DavideD DavideD added problem A limitation or source of discomfort and removed problem A limitation or source of discomfort labels Dec 6, 2024
@DavideD DavideD removed their assignment Feb 10, 2025
@DavideD
Copy link
Member Author

DavideD commented Mar 26, 2025

Superseeded by #1901

@DavideD DavideD closed this as completed Apr 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
build Something related to the build
Projects
None yet
Milestone
3.0.0.Beta3
Development

No branches or pull requests
1 participant
@DavideD