add github actions builds

[sebthom]

No description provided.

[mickaelistria]

At the moment, we're satisfied with Jenkins builds. What value would this extra build offer that makes it worth the extra maintenance?

[sebthom]

1. When working in a fork the jenkins jobs are not running, so there is no CI feedback without creating a PR to the source repo. If we have gha configured they also run in forked repos.
2. From my experience with the TM4E project GHA builds seem faster (i.e. shorter feedback loop).
3. In case of failing builds going through the logs in GHA feels more efficient and faster (Jenkins UI seems to render considerably slower).
4. Build stability in GHA for some reason seems to be better than in Jenkins (experience from the TM4E project), i. e. fewer random build failures. So if a build fails only in Jenkins and not in GHA it gives a better indication whether there is actual a bug introduced by a commit or if there may just be an infrastructure issue with Jenkins.

[rubenporras]

for what is worth, I also think like Sebastian that it would be very nice to CI feedback without creating a PR to the source repo. Usually I create a PR just to get the CI feedback, even when changes are not ready.

[sebthom]

@rubenporras I am getting test failures in github builds. Any ideas why? https://github.com/sebthom/lsp4e/runs/7600681404?check_suite_focus=true I am using a similar github action config for building/testing TM4E where it works fine.

[sebthom]

I spent a lot of time trying to get the jobs running without test failures on Windows and Ubuntu but so far there are still random test failures. Only MacOS builds are stable so I configured tests on Windows/Ubuntu runners with continue-on-error=true for now until we find a way to stabilize the tests. Even with only mac builds I think this is a valuable addition. So this PR is ready to be merged.

[mickaelistria]

The initial target branch master was deleted and replaced by main, so this PR got closed automatically. If this is still relevant, please re-create this PR targetting the main branch.