v3.0.12

What's Changed

• Bump github/codeql-action from 3.27.0 to 3.27.1 by @dependabot in #888
• More aggressive opam clean by @smorimoto in #889
• Faster set-up when a cache hit occurs by @smorimoto in #890

Full Changelog: v3.0.11...v3.0.12