Include Code Correctness check in GitHub test runs