nixbot

builds
1these 2 derivations will be built:2 /nix/store/9mw8r8vzczcsf3z31x2ljw1h4lfms2wx-reasonix-2.47.1.drv3 /nix/store/hrn8pyra3li5haz9a6fjpq10dzbsmx20-check-reasonix.drv