testing/idris: upgrade to 1.3.3

7 jobs for !6656 with idris-ghc8 in 39 seconds
detached
Status Job ID Name Coverage
  Lint
failed #157519
x86_64 docker-alpine allowed to fail
lint

00:00:11

 
  Build
failed #157524
aarch64 ci-build docker-alpine
build-aarch64

00:00:06

failed #157525
armv7 ci-build docker-alpine
build-armv7

00:00:06

failed #157523
ppc64le ci-build docker-alpine
build-ppc64le

00:00:09

failed #157522
s390x ci-build docker-alpine
build-s390x

00:00:05

failed #157521
x86 ci-build docker-alpine
build-x86

00:00:07

failed #157520
x86_64 ci-build docker-alpine
build-x86_64

00:00:06

 
Name Stage Failure
failed
build-aarch64 Build
No job log
failed
build-ppc64le Build
No job log
failed
build-s390x Build
No job log
failed
build-x86 Build
No job log
failed
build-x86_64 Build
No job log
failed
build-armv7 Build
No job log
failed
lint Lint
No job log