aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris
Commit message (Expand)AuthorAgeFilesLines
* [various]: unify names of licenses according to SPDXJakub Jirutka2017-12-301-1/+1
* testing/idris: disable on armhf due to build failureJakub Jirutka2017-10-291-2/+3
* testing/idris: bump release, disable building of profiled objectsMitch Tishmack2017-10-271-1/+3
* testing/idris: Fix build of idris with newer pkg versionsMitch Tishmack2017-10-272-18/+59
* testing/idris: Remove incorrect comments re: cabal and validationMitch Tishmack2017-10-271-5/+0
* testing/idris: disable on armhf. does not buildNatanael Copa2017-05-221-1/+1
* testing/idris: use cabal freeze and sandbox for great goodJakub Jirutka2017-05-172-28/+177
* testing/idris: fix and improve abuildJakub Jirutka2017-05-171-25/+32
* testing/idris: new aportMitch Tishmack2017-05-171-0/+69