~cypheon/Idris2

3aae2e98b176448a5dc10c9c772166a40935031a — Johann Rudloff 2 months ago 053dc44 master
[ sr.ht ci ] Upload built artifacts
2 files changed, 32 insertions(+), 0 deletions(-)

M .builds/debian.yml
M .builds/freebsd.yml
M .builds/debian.yml => .builds/debian.yml +16 -0
@@ 8,6 8,9 @@ packages:
  - libgmp-dev
  - racket

secrets:
  - 85205afe-e52d-4bde-9cd9-63cda23de346

environment:
  PATH: /home/build/.idris2/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games



@@ 30,6 33,19 @@ tasks:
      make install install-api
      tar czvf /tmp/idris2_prebuilt_debian.tar.gz -C "$HOME" .idris2

  - upload: |
      cd Idris2
      commit_id=$(git rev-parse HEAD)
      dst="upload-artifacts@neo.sinyax.net"
      root="/srv/www/cdn/artifacts"
      prefix="idris2_debian"
      echo 'StrictHostKeyChecking no' >> ~/.ssh/config

      scp -q /tmp/idris2_prebuilt_debian.tar.gz $dst:"${root}/${prefix}_${commit_id}.tar.gz"
      ssh $dst ln -sf "${prefix}_${commit_id}.tar.gz" "${root}/${prefix}_latest.tar.gz"

      echo "uploaded to https://neo.sinyax.net/cdn/artifacts/${prefix}_${commit_id}.tar.gz"

  - test: |
      cd Idris2
      #make test INTERACTIVE=

M .builds/freebsd.yml => .builds/freebsd.yml +16 -0
@@ 8,6 8,9 @@ packages:
  - gmake
  - gmp

secrets:
  - 85205afe-e52d-4bde-9cd9-63cda23de346

environment:
  PATH: /home/build/.idris2/bin:/usr/local/sbin:/usr/sbin:/sbin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games
  SCHEME: /usr/local/bin/chez-scheme


@@ 51,6 54,19 @@ tasks:
      gmake install install-api
      tar czvf /tmp/idris2_prebuilt_freebsd.tar.gz -C "$HOME" .idris2

  - upload: |
      cd Idris2
      commit_id=$(git rev-parse HEAD)
      dst="upload-artifacts@neo.sinyax.net"
      root="/srv/www/cdn/artifacts"
      prefix="idris2_freebsd"
      echo 'StrictHostKeyChecking no' >> ~/.ssh/config

      scp -q /tmp/idris2_prebuilt_freebsd.tar.gz $dst:"${root}/${prefix}_${commit_id}.tar.gz"
      ssh $dst ln -sf "${prefix}_${commit_id}.tar.gz" "${root}/${prefix}_latest.tar.gz"

      echo "uploaded to https://neo.sinyax.net/cdn/artifacts/${prefix}_${commit_id}.tar.gz"

  - test: |
      sudo /usr/sbin/pkg install -y racket
      cd Idris2