Build #488:   Merge pull request #109 from mrmundt/github_actions Implement Github Actions on branch master about 5 years ago