testing/idris: upgrade to 1.3.3

7 jobs for !9449 with idris in 1 minute and 28 seconds
latest detached
Status Job ID Name Coverage
  Lint
failed #147822
x86_64 docker-alpine allowed to fail
lint

00:00:22

 
  Build
passed #147827
aarch64 ci-build docker-alpine
build-aarch64

00:00:26

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

passed #147826
ppc64le ci-build docker-alpine
build-ppc64le

00:00:43

passed #147825
s390x ci-build docker-alpine
build-s390x

00:00:21

passed #147824
x86 ci-build docker-alpine
build-x86

00:00:21

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

00:00:28

 
Name Stage Failure
failed
build-armv7 Build There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log
failed
build-x86_64 Build
No job log
failed
lint Lint
No job log