Skip to content

Update the CI for springboot to instead just format whenever we push …#16

Merged
JacobLef merged 1 commit into
mainfrom
update-springboot-ci
Dec 18, 2025
Merged

Update the CI for springboot to instead just format whenever we push …#16
JacobLef merged 1 commit into
mainfrom
update-springboot-ci

Conversation

@JacobLef

Copy link
Copy Markdown
Owner

No description provided.

…to main. No need to check correctness of formatting once we have formatted.
@JacobLef JacobLef added this to the Infrastructure milestone Dec 18, 2025
@JacobLef JacobLef self-assigned this Dec 18, 2025
@JacobLef JacobLef merged commit 05fa3aa into main Dec 18, 2025
1 of 2 checks passed
@JacobLef JacobLef deleted the update-springboot-ci branch December 18, 2025 01:05
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