testing/fix-whitespace: new aport

https://github.com/agda/fix-whitespace
fixes whitespace issues
7 jobs for !20098 with fix-whitespace in 5 minutes and 8 seconds (queued for 1 second)
detached
Status Job ID Name Coverage
  Lint
failed #363651
docker-alpine x86_64 allowed to fail
lint

00:00:18

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

00:00:33

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

00:00:36

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

00:00:45

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

00:01:04

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

00:00:14

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

00:04:12

 
Name Stage Failure
failed
lint Lint
No job log