What's Changed
- fix(CI): Update Ubuntu Docker Images for AWS-LC by @texastony in #767
- chore: silence deprecation warnings by @ajewellamz in #771
- chore: limit number of random bytes generated by @ajewellamz in #773
- Fix type inconsistencies in CBMC proof harnesses by @tautschnig in #772
- chore: enable dependabot for git submodules by @tautschnig in #775
- chore: enable dependabot for github actions by @tautschnig in #779
- chore(deps): bump aws-encryption-sdk-specification from
c35fbd9to0d4d63cby @dependabot in #778 - chore: update CBMC version by @tautschnig in #780
- chore(deps): bump DoozyX/clang-format-lint-action from 0.5 to 0.17 by @dependabot in #782
- chore(deps): bump actions/checkout from 2 to 4 by @dependabot in #783
- chore(deps): bump actions/upload-artifact from 3 to 4 by @dependabot in #784
- chore: use built-in SAT solver for CBMC proofs by @tautschnig in #781
- fix: CMake Fixes to Make it Compatible with Latest Aws-c-common by @waahm7 in #812
- chore: release v2.4.1 by @kessplas in #813
New Contributors
- @dependabot made their first contribution in #778
- @waahm7 made their first contribution in #812
- @kessplas made their first contribution in #813
Full Changelog: v2.4.0...v2.4.1
Contributors
tautschnig, texastony, and 4 other contributors