build-CI

Bump actions/checkout from 3 to 4 in the dev-dependencies group

#28

Merged