# Changelog for AWS IoT Fleet Provisioning Library

## v1.2.2 (March 2026)

### Other
- [#51](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/51) Add artifact backup action
- [#50](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/50) Remove formatting bot workflow
- [#49](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/49) Update coverity link
- [#48](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/48) Adjust proof tooling to support CBMC v6

## v1.2.1 (June 2024)

### Other
- Fix doxygen deployment on Github.

## v1.2.0 (May 2024)

### Other
- [#41](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/41) Fix warnings with ARM GCC compiler when compiled with -Wextra
- [#40](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/40) Add CBMC proof check action in Github CI
- [#39](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/39) MISRA C:2012 compliance checked with Coverity static analysis version 2023.6.1
- [#34](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/34) Update doxygen version to 1.9.6

## v1.1.0 (October 2022)

### Updates
- [#26](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/26) MISRA C:2012 Compliance Update
- [#25](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/25) Update CBMC starter kit

## v1.0.1 (December 2021)

### Updates
 - [#20](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk/pull/20) Update Doxygen version to 1.9.2

## v1.0.0 (August 2021)

This is the first release of the AWS IoT Fleet Provisioning Library.
