diff --git a/.github/workflows/example_check_on_pr.yml b/.github/workflows/example_check_on_pr.yml index c2eaacae4..a840e1d98 100644 --- a/.github/workflows/example_check_on_pr.yml +++ b/.github/workflows/example_check_on_pr.yml @@ -64,7 +64,7 @@ jobs: changedFileName="${file}:${changedFileName}" done echo "$changedFileName was changed" - res=`python .github/workflows/scripts/example_checks/detect_changed_example.py --fileNameList $changedFileName` + res=`python3 .github/workflows/scripts/example_checks/detect_changed_example.py --fileNameList $changedFileName` echo "All changed examples are $res" if [ "$res" == "[]" ]; then