Skip to content

Revert #1278 (Add build.mill setup)#1387

Merged
jiribenes merged 1 commit into
mainfrom
revert/build-with-mill
Apr 28, 2026
Merged

Revert #1278 (Add build.mill setup)#1387
jiribenes merged 1 commit into
mainfrom
revert/build-with-mill

Conversation

@jiribenes
Copy link
Copy Markdown
Contributor

@jiribenes jiribenes commented Apr 24, 2026

We had hoped that using mill would help with the spurious CI failures, but it doesn't seem to have done so.
Now we're in a state where we have two increasingly inconsistent ways (see the bug I fixed in build.sbt?) of building the project, running tests, etc.

Let's cut our losses and remove Mill (revert #1278).

I'm fine with keeping Mill if somebody actually uses it, but it currently feels like it only exists to cause me more work (in the context of changes like #1386).
For the record, I'd be fine with replacing sbt by Mill altogether, but I'm not sure how other team members feel about this.

@jiribenes jiribenes added the github-actions Pull requests that update GitHub Actions code label Apr 24, 2026
@timsueberkrueb timsueberkrueb self-requested a review April 24, 2026 22:31
@jiribenes jiribenes merged commit 1b5ab11 into main Apr 28, 2026
7 checks passed
@jiribenes jiribenes deleted the revert/build-with-mill branch April 28, 2026 14:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github-actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants