Bump actions/checkout from 4.1.2 to 4.1.7 in the github group across 1 directory

Bump actions/checkout from 4.1.2 to 4.1.7 in the github group across 1 directory #45