Did you manage to do it? I (also) failed miserably.

It would be great if they added a Github actions script to perform automated builds on each commit or PR merge.