Fixing devenv by using github action instead

[edznux-dd]

This should not use the devenv anymore and simply be a github action. This should make the CI much more reliable and stop blocking on bad sync with the devenv