Repository navigation

Add devbox dev environment and CI verification - #1

Merged

giovanni-liboni merged 5 commits into

feat/devbox-environment

May 11, 2026

Merged

Add devbox dev environment and CI verification#1
giovanni-liboni merged 5 commits into
masterfrom
feat/devbox-environment

Commits on May 10, 2026
- Add devbox for reproducible dev environment
  giovanni-liboni
  committed
  e9f610d
- Add CI workflow to verify devbox environment
  giovanni-liboni
  committed
  c2f2ceb
- Use POSIX head -n 1 in devbox CI workflow
  giovanni-liboni
  committed
  ff9225d
- Run each verify-env command through devbox separately
  giovanni-liboni
  committed
  2cbafec
- Drop pipefail in verify-env step (SIGPIPE from head)
  giovanni-liboni
  committed
  139a825