testing/idris2: new aport

7 jobs for !18870 with idris2 in 6 minutes and 31 seconds (queued for 2 seconds)
detached
Status Job ID Name Coverage
  Lint
failed #335136
docker-alpine x86_64 allowed to fail
lint

00:00:12

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

00:00:26

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

00:00:39

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

00:00:41

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

00:00:40

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

00:06:18

passed #335137
docker-alpine ci-build x86_64
build-x86_64

00:04:25

 
Name Stage Failure
failed
lint Lint
No job log