v3.1.5
What's Changed
- Bump github/codeql-action from 3.27.6 to 3.27.7 by @dependabot in #910
- Bump github/codeql-action from 3.27.7 to 3.27.9 by @dependabot in #911
- Bump actions/upload-artifact from 4.4.3 to 4.5.0 by @dependabot in #912
- Bump github/codeql-action from 3.27.9 to 3.28.0 by @dependabot in #913
- Set OPAMSOLVERTIMEOUT to 600 by @smorimoto in #914
Full Changelog: v3.1.4...v3.1.5