cbmc-starter-kit icon indicating copy to clipboard operation
cbmc-starter-kit copied to clipboard
verified publisher icon model-checking

Add GH workflow to FreeRTOS central repository

Open karkhaz opened this issue 3 years ago • 2 comments

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

karkhaz avatar Jan 12 '23 23:01 karkhaz

Here is a run of a coreMQTT-Agent pull request that uses a 'centralized' Proof CI definition from my fork of the FreeRTOS central CI repo.

karkhaz avatar Feb 17 '23 15:02 karkhaz

https://github.com/FreeRTOS/CI-CD-Github-Actions/pull/58

karkhaz avatar Feb 17 '23 15:02 karkhaz