testing/idris: rebuild with ghc 8.10.1

7 jobs for !6640 with ghc10 in 140 minutes and 19 seconds (queued for 2 seconds)
detached
Status Job ID Name Coverage
  Lint
failed #104015
x86_64 docker-alpine allowed to fail
lint

00:00:17

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

00:00:29

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

00:00:39

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

00:00:42

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

00:00:33

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

00:00:24

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

02:19:59

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