funcmp.nix: add ci instructions for funcmp