[WIP] check dev targets in CI#127

danieleades wants to merge 3 commits intoac-freeman:mainac-freeman/adder-codec-rs:mainfrom

danieleades:check-all-targetsdanieleades/adder-codec-rs:check-all-targetsCopy head branch name to clipboard