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