Thanks for sharing, I’ll print this out to try. What’s the license in the pcb and switches?

This is how I’m also developing most of my code these days as well. My opinions are pretty similar to the pig book author https://martin.kleppmann.com/2025/12/08/ai-formal-verificati....

Microvm.nix with cloud-hypervisor

https://forgejo.org/docs/v1.20/user/actions/

https://docs.gitea.com/usage/actions/overview

Both have “Actions” that are act based and very similar to GitHub Actions and offers some compatibility.

https://js.wiki/ is what we’ve decided to go with at my company.