Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

build: Build gardening #4404

Merged
merged 3 commits into from
May 20, 2024
Merged

build: Build gardening #4404

merged 3 commits into from
May 20, 2024

Conversation

johanandren
Copy link
Member

@johanandren johanandren commented May 17, 2024

Refs #4346

@johanandren johanandren changed the title build: Cleaning out some deprecations build: Build gardening May 17, 2024
Copy link
Member

@ennru ennru left a comment

Choose a reason for hiding this comment

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

LGTM.

project/ValidatePullRequest.scala Outdated Show resolved Hide resolved
build.sbt Outdated Show resolved Hide resolved
project/CopyrightHeader.scala Show resolved Hide resolved
project/ValidatePullRequest.scala Outdated Show resolved Hide resolved
@johanandren johanandren marked this pull request as draft May 20, 2024 08:19
@johanandren johanandren marked this pull request as ready for review May 20, 2024 09:47
@johanandren johanandren merged commit 5afb54f into main May 20, 2024
8 checks passed
@johanandren johanandren deleted the wip-build-gardening branch May 20, 2024 09:54
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants