Add build_independent_for field to CI script.
authorMartin Tříska <triska@unipi.technology>
Thu, 7 Oct 2021 11:50:15 +0000 (11:50 +0000)
committerMartin Tříska <triska@unipi.technology>
Thu, 7 Oct 2021 11:50:15 +0000 (11:50 +0000)
commit8d40193966704ff8cdc7af8b96f85668a4555727
treeaec7a6e5096ea1a3f5948cac147dcab9deaa0b8a
parent7e504a12ee5304f477cea9242f39f829249864aa
Add build_independent_for field to CI script.