Update CI config to avoid GitHub Actions deprecation warnings.