Open peter279k opened 1 year ago
What kind of pull request is this? Put an x in all the boxes that apply:
x
The Travis CI dot org is deprecated and Travis CI dot com is not friendly for open source projects.
Due to the above reason, I think it's time to migrate the Travis CI to the GitHub action now.
The PR is to migrate the Travis CI to the GitHub action.
The completed GitHub action log is available in the forked repository.
To facilitate merging your change and the approval of this PR, please make sure you've reviewed and applied the following:
If you're unsure about any of these, don't hesitate to ask. We're here to help!
Pull request type
What kind of pull request is this? Put an
x
in all the boxes that apply:What does it change?
The Travis CI dot org is deprecated and Travis CI dot com is not friendly for open source projects.
Due to the above reason, I think it's time to migrate the Travis CI to the GitHub action now.
Why this PR?
The PR is to migrate the Travis CI to the GitHub action.
How has this been tested?
The completed GitHub action log is available in the forked repository.
Checklist
To facilitate merging your change and the approval of this PR, please make sure you've reviewed and applied the following:
If you're unsure about any of these, don't hesitate to ask. We're here to help!