~cypheon/Idris2

6aa808e504bf2a19dfbe43eeef45cb9f39919f81 — Johann Rudloff a month ago 8bef973 main rapid
[ci] Install incremental compilation files for idris-api
2 files changed, 8 insertions(+), 2 deletions(-)

M .builds/debian.yml
M .builds/freebsd.yml
M .builds/debian.yml => .builds/debian.yml +4 -1
@@ 30,7 30,10 @@ tasks:
      cd Idris2
      git clean -xdf
      make all
      make install install-api
      make install

      make clean
      make install-api IDRIS2_INC_CGS=chez
      tar czvf /tmp/idris2_prebuilt_debian.tar.gz -C "$HOME" .idris2

  - upload: |

M .builds/freebsd.yml => .builds/freebsd.yml +4 -1
@@ 51,7 51,10 @@ tasks:
      cd Idris2
      git clean -xdf
      gmake all
      gmake install install-api
      gmake install

      gmake clean
      gmake install-api IDRIS2_INC_CGS=chez
      tar czvf /tmp/idris2_prebuilt_freebsd.tar.gz -C "$HOME" .idris2

  - upload: |