hola @JuanFdS ! Este PR tenemos que mergearlo cuanto antes para que los chicos trabajen con CI de Circle.
hoy estuve jugando con CircleCI, por eso agrego .circleci/config.yml en los archivos a generar. También me di cuenta de que tengo que ignorar cualquier archivo cabal, porque el nombre del archivo cabal no es el que genero en la kata, sino el del repo privado que genera cada uno de los chicos, por ejemplo:
mn-funcional-kata-00 como repo público se transforma en
kata-1-pepito
kata-1-daiana
etc. según el usuario de github de cada alumno, y eso tira un warning cuando les pedimos que hagan stack build intero.
Respecto a CI: no pude hacer andar el badge con repos privados, solo me andan si son públicos los repos, pero no me calienta. Lo único que me falta investigar en algún momento son los caches, pero el build tarda entre 2 y 3 minutos, no me parece mal.
hola @JuanFdS ! Este PR tenemos que mergearlo cuanto antes para que los chicos trabajen con CI de Circle.
hoy estuve jugando con CircleCI, por eso agrego .circleci/config.yml en los archivos a generar. También me di cuenta de que tengo que ignorar cualquier archivo cabal, porque el nombre del archivo cabal no es el que genero en la kata, sino el del repo privado que genera cada uno de los chicos, por ejemplo:
mn-funcional-kata-00 como repo público se transforma en kata-1-pepito kata-1-daiana etc. según el usuario de github de cada alumno, y eso tira un warning cuando les pedimos que hagan stack build intero.
Respecto a CI: no pude hacer andar el badge con repos privados, solo me andan si son públicos los repos, pero no me calienta. Lo único que me falta investigar en algún momento son los caches, pero el build tarda entre 2 y 3 minutos, no me parece mal.