nixbot

builds

succeeded checks.x86_64-linux.ikos build #1 · raw · eval 2 ms · 0.3 KiB allocated ·

Succeeded (3)

3 built
setup built · 0.0s · open ↗ · raw ↗
python3-3.10.9-env built · 18.4s · open ↗ · raw ↗
ikos-3.0 built · 355.1s · open ↗ · raw ↗