Merge pull request #11723 from blckmn/github_actions
commit359b948d0f8c5d7dc791299ce49e17f83cbbea66
authorJ Blackman <blckmn@users.noreply.github.com>
Mon, 11 Jul 2022 21:33:18 +0000 (12 07:33 +1000)
committerGitHub <noreply@github.com>
Mon, 11 Jul 2022 21:33:18 +0000 (12 07:33 +1000)
treeb1dc7e2c15c037cc4abafbb1f1dcc694f006ee6e
parentc8a75bf6d8ca0e76cbe92335adb0cd16aa076e54
parent86992e91a91a529ced2d5a9bea299683b48caae4
Merge pull request #11723 from blckmn/github_actions

Move to Github Actions for PRs