Skip to content

added riot versions for CircleCI and Docker builder

Placeholder Jimmy Keith requested to merge fix_riot into develop

should we add version to riot like I did here? or should we update the riot compile script to use be compatible with whatever changed in riot 4?

Merge request reports