pipeline: add shell
anil.recoil.org 4 months ago abd34dd5 9e03a192
··· 4 4 5 5 dependencies: 6 6 nixpkgs: 7 7 + - shell 7 8 - gcc 8 9 - dune_3 9 10 - ocaml