From: Martin Tříska <triska@unipi.technology>
Date: Thu, 7 Oct 2021 11:50:15 +0000 (+0000)
Subject: Add build_independent_for field to CI script.
X-Git-Url: http://git.graph-it.com/?a=commitdiff_plain;h=8d40193966704ff8cdc7af8b96f85668a4555727;p=graphit%2Funipi-kernel.git

Add build_independent_for field to CI script.
---