nixbot

builds

TUM-DSE/miniosv build #8 failed

branch srg_mainline · PR #3 · commit b311e43f5e · · took —

merge of b311e43f5e868f6c4c0434a177ede5ee07b04c84 conflicts with base branch: 

no attributes (yet)