Skip to content

Add devbox development environment#535

Merged
MichaelGHSeg merged 1 commit intomasterfrom
add-devbox
May 7, 2026
Merged

Add devbox development environment#535
MichaelGHSeg merged 1 commit intomasterfrom
add-devbox

Conversation

@MichaelGHSeg
Copy link
Copy Markdown
Contributor

@MichaelGHSeg MichaelGHSeg commented May 7, 2026

Summary

  • Adds devbox.json with JDK 11, Maven, and jq, giving contributors a reproducible dev environment via devbox shell
  • Exposes devbox run scripts: install, build, test, check, release — mirroring the existing Makefile
  • Uses JDK 11 (vs the project's JDK 8 target) to avoid Spotless reflection breakage on JDK 21+

Test plan

  • devbox shell — drops into environment with Java 11 and Maven available
  • devbox run build — builds successfully
  • devbox run test — all tests pass
  • devbox run check — spotless, animal-sniffer, test, and verify all pass

Adds devbox.json with JDK 11, Maven, and jq so contributors can get a
working environment with a single `devbox shell`. Exposes build, test,
check, and release as devbox run scripts mirroring the existing Makefile.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@MichaelGHSeg MichaelGHSeg merged commit 04ccfb2 into master May 7, 2026
16 checks passed
@MichaelGHSeg MichaelGHSeg deleted the add-devbox branch May 7, 2026 16:43
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.

2 participants