I’m good with a CI check on a PR taking 5 seconds…