~cypheon/Idris2

053dc449157cadbc5fe3090d03ea2f94dc48bc67 — Johann Rudloff 2 months ago 7b725eb
[ sr.ht ci ] (Temporarily) disable tests
2 files changed, 2 insertions(+), 2 deletions(-)

M .builds/debian.yml
M .builds/freebsd.yml
M .builds/debian.yml => .builds/debian.yml +1 -1
@@ 32,7 32,7 @@ tasks:

  - test: |
      cd Idris2
      make test INTERACTIVE=
      #make test INTERACTIVE=

artifacts:
  - /tmp/idris2_prebuilt_debian.tar.gz

M .builds/freebsd.yml => .builds/freebsd.yml +1 -1
@@ 57,7 57,7 @@ tasks:
      # skip this one test, apparently it has problems on FreeBSD:
      echo 'exit 0' > tests/racket/futures001/run
      cat /dev/null > tests/racket/futures001/expected
      gmake test INTERACTIVE=
      #gmake test INTERACTIVE=

artifacts:
  - /tmp/idris2_prebuilt_freebsd.tar.gz