• Adriaan de Groot's avatar
    CI: increase build directory size · 933ad823
    Adriaan de Groot authored
     - Fix typo in the build-debugging bits
     - Increase tmpfs size of /build because it looks like "make install"
       ends up filling the disk, and then it fails.
    933ad823