Revert "build: remove devShell" #30

Merged

chef merged 1 commit from chef/re-add-devshell into main

2024-06-09 15:12:00 +00:00

Author	SHA1	Message	Date
buffet	3d88d0296e	Revert "build: remove devShell" All checks were successful / check (pull_request) Successful in 2m27s Details This reverts commit `ee3f767815`. Turns out pre-commit-hooks needs this.	2024-06-09 17:03:48 +02:00