Switch from Travis to Github Actions workflow for PRs
Original PR to master: #8680
Comment From: spring-projects-issues
Fixed via fa09295fd6598be51805357a91bd7f7162f7207d
Switch from Travis to Github Actions workflow for PRs
Original PR to master: #8680
Comment From: spring-projects-issues
Fixed via fa09295fd6598be51805357a91bd7f7162f7207d