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
detached
Status Job ID Name Coverage
  Lint
passed lint #363228
docker-alpine x86_64

00:00:27

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

00:00:42

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

00:01:55

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

00:00:41

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

00:00:27

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

00:00:19

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

00:26:01