testing/idris: rebuild with ghc 8.10.2

7 jobs for !6640 with ghc10 in 48 minutes and 14 seconds (queued for 3 seconds)
detached
Status Job ID Name Coverage
  Lint
failed #241766
docker-alpine x86_64 allowed to fail
lint

00:00:29

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

00:00:32

passed #241772
docker-alpine ci-build armv7
build-armv7

00:00:44

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

00:00:59

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

00:00:39

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

00:00:29

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

00:47:44

 
Name Stage Failure
failed
lint Lint
No job log
failed
build-x86_64 Build
No job log