mattiase Github CI: upgrade actions/checkout from v2 to v4