nixbot

builds

latest build succeeded TUM-DSE/miniosv

Runs

no runs