testing/agda: new aport

https://wiki.portal.chalmers.se/agda/pmwiki.php
dependently typed functional programming language

Co-authored-by: Leo <thinkabit.ukim@gmail.com>
7 jobs for !19978 with agda in 27 minutes and 11 seconds
latest detached
Status Job ID Name Coverage
  Lint
passed #363228
docker-alpine x86_64
lint

00:00:27

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

00:00:42

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

00:01:55

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

00:00:41

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

00:00:27

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

00:00:19

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

00:26:01