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