disable idris cache

This commit is contained in:
Sridhar Ratnakumar 2022-04-04 16:51:28 -04:00
parent f2465780c2
commit 13d18b56dc

View file

@ -3,6 +3,6 @@
./iohk.nix
# ./reflex.nix -- not working on reflex*
# ./platonic.nix -- don't need ssh cache
./cm-idris2-pkgs.nix
# ./cm-idris2-pkgs.nix
];
}