Migrate CI provider from Travis CI to Github Actions.

[ujjboy]

Motivation:

Explain the context, and why you're making that change. To make others understand what is the problem you're trying to solve.

Modification:

Describe the idea and modifications you've done.

Result:

Fixes #<GitHub issue number>.

If there is no issue then describe the changes introduced by this PR.