Improve CI by making use of devenv #116
Description
Is your feature request related to a problem? Please describe.
CI is not properly using devenv. The purpose of devenv is to have reproducible environments no matter where you are. So, by not using devenv in CI one ends up exposing oneself to differences in the execution of the build and having to put twice the effort to maintain an independent local & CI enviroment.
Describe the solution you'd like
Devenv allows you to reuse your existing development environment in your GitHub Actions workflows to run checks, builds, tests, and more.
Describe alternatives you've considered
GitHub Actions for devenv
Additional context
Add any other context or screenshots about the feature request here.