Deal with upcoming Github Actions deprecations.