TG9541/stm8ef

Move from Travis-CI to GitHub Actions

TG9541 opened this issue · 2 comments

Travis-CI.org has been dead for a while - it's time to move on. In order to do that,

  • disable CI merge checks for a while
  • remove Travis-CI hooks and badges
  • create a GitHub action and learn how to use it
  • add badge and re-enable CI

Turns out building in a Docker container is easier with GitHub actions than with Travis-CI

Transition to GitHub Actions was easier than anticipated. Finding a solution for automated upload of artifacts to GitHub Releases after a git push --tags required some reading since there are many solutions around, most of them abandoned. I decided to use gh-release since it's well documented and it simply works.