cbmc-starter-kit icon indicating copy to clipboard operation
cbmc-starter-kit copied to clipboard

Published 20 hours ago • verified publisher icon model-checking

Go on PR campaign to add FreeRTOS central repository workflow to each repo

Open karkhaz opened this issue 1 year ago • 0 comments

  • [x] https://github.com/FreeRTOS/CI-CD-Github-Actions/pull/58

then

  • [x] https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk/pull/70 (successful run)
  • [x] https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk/pull/113 (successful run)
  • [x] https://github.com/FreeRTOS/coreMQTT/pull/241 (successful run)
  • [x] https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk/pull/78 (successful run)
  • [x] https://github.com/FreeRTOS/coreSNTP/pull/71 (successful run)
  • [x] https://github.com/FreeRTOS/coreMQTT-Agent/pull/83 (successful run)
  • [x] https://github.com/FreeRTOS/corePKCS11/pull/166 (successful run)
  • [x] https://github.com/FreeRTOS/coreJSON/pull/137 (successful run)
  • [x] https://github.com/FreeRTOS/FreeRTOS/pull/924 (successful run)
  • [x] https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/474 (successful run)
  • [x] https://github.com/aws/Jobs-for-AWS-IoT-embedded-sdk/pull/76 (successful run)
  • [x] https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/pull/733 (successful run)
  • [x] https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/132
  • [x] https://github.com/FreeRTOS/coreHTTP/pull/153

karkhaz avatar Jan 12 '23 23:01 karkhaz