Skip to content

Update design doc picas api

Frits Sweijen requested to merge update_design_doc_picas_api into master

This change makes it so that not only the Token field of PICAS_API_VERSION is set, but also the same field in the global design document. The latter is what in thend determines which branch of GRID_PiCaS_Launcher is checked out when is executed.

Merge request reports