Travis CI mascot

Hey there!

Looks like you have JavaScript disabled.

The Travis CI webclient needs JavaScript to work properly.

Please enable JavaScript to get the best Travis CI experience.

Thank you!

Join over 500,000 developers testing and building on Travis CI

Agda-zh / agda

master [ build ] relax ghc version bound for transformers dependenc…

#41 passed

Ran for 1 hr 12 min 44 sec
4 years ago

AMD64

no language set

Git