The actions actions/checkout@v4 and score-spec/setup-score@v2 are not allowed in score-spec/examples because all actions must be pinned to a full-length commit SHA.