Add glaux and frdm build targets in GitHub CI workflow

[KomaGR]

The current GitHub workflow only targets Warp for the build. We should add the other two targets so that we ensure we check that at least build completes successfully for PRs and main commits.