search

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

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

Test CBMC GitHub Action performance #1855

Closed karkhaz closed 1 year ago

karkhaz commented 1 year ago

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