chore: bump nwtgck/actions-netlify from 3.0 to 4.0#873

david-christiansen merged 1 commit into

mainleanprover/verso:mainfrom

dependabot/github_actions/nwtgck/actions-netlify-4.0leanprover/verso:dependabot/github_actions/nwtgck/actions-netlify-4.0Copy head branch name to clipboard