Migrate CI from Travis CI to GitHub Actions

[otukutun]

We had been using Travis CI for our continuous integration (CI) needs.

However, we had canceled our Travis CI subscription, and as a result, our CI has not been running for several years.
To restore our CI functionality, we need to migrate our CI setup to GitHub Actions.
This will involve creating a new GitHub Actions workflow that replicates our previous CI setup on Travis CI.