nixbot

builds

latest build succeeded TUM-DSE/miniosv

status badge
[![nixbot](https://buildbot.dse.in.tum.de/badge/2b57783e-016e-4ac5-9463-ab56e12b2672.svg)](https://buildbot.dse.in.tum.de/repos/github/TUM-DSE/miniosv)
# ref commit when took
succeeded#13 master 437621fb44 14s
failed#12 master 07f52da60a 0s
failed#11 master 9a2686296b 12s
failed#10 master 6928ac3700 12s
failed#9 PR #3 697fdf4f6a —
failed#8 PR #3 b311e43f5e —
failed#7 PR #3 cd3d652536 —
failed#6 PR #3 9c5ada8100 —
failed#5 master c7f62ef4d2 14s
failed#4 master 6d88a35f4e 0s
failed#3 master eb93f1af02 12s
failed#2 master 2df9a7d7a4 15s
succeeded#1 master e4635ff386 15s