search

aws / aws-iot-device-sdk-embedded-C

SDK for connecting to AWS IoT from a device using embedded C.
MIT License
987 stars 634 forks source link

Test CBMC GitHub Action performance #1856

Closed karkhaz closed 1 year ago

karkhaz commented 1 year ago

This commit is to compare the new CBMC CI with the old one