linuxboot/heads-wiki

Document CircleCI / Note on Heads buildsystem

tlaurion opened this issue · 1 comments

tlaurion commented

Was put in raw notes here: linuxboot/heads#1125 (comment)

tlaurion commented

Fixed as part of #93