635fb40Unify almost identical checkFixity' functions.Björn Aili10 years ago 0af8366Add regression tests for #3275Björn Aili10 years ago a6f56ceFix #3275Björn Aili10 years ago ce81257Merge pull request #3337 from steshaw/consolidate-layout001-testsNiklas Larsson10 years ago ebe39ceMerge pull request #3345 from steshaw/multi-ghc-travis-scriptNiklas Larsson10 years ago 07f572aMerge pull request #3336 from steshaw/consolidate-regxxx-non-executable-tests-into-regression002Niklas Larsson10 years ago c96148cCollate 'info' about idris setup.Jan de Muijnck-Hughes10 years ago 276ba0aMove `timeout` from `test/bin/` to `test/scripts/`Steven Shaw10 years ago 15bed57Simplify basic010 and reg039.Steven Shaw10 years ago 54fadffMerge pull request #3333 from steshaw/filename-args-in-orderNiklas Larsson10 years ago 02a4c48Consolidate layout001 testsSteven Shaw10 years ago 46209a7Rebase master and fix conflictsSteven Shaw10 years ago e0a5a4bUpdate TestDataSteven Shaw10 years ago 4fd3bd9Add regression002 to test suiteSteven Shaw10 years ago 97baef4Consolidate reg072 into regression002Steven Shaw10 years ago 5208aebConsolidate reg070 into regression002Steven Shaw10 years ago 1e1c449Consolidate reg069 into regression002Steven Shaw10 years ago 2e20173Consolidate reg068 into regression002Steven Shaw10 years ago e2f1da2Consolidate reg056 into regression002Steven Shaw10 years ago 2bf2038Consolidate reg055 into regression002Steven Shaw10 years ago ea745fcConsolidate reg054 into regression002Steven Shaw10 years ago 88c66f9Consolidate reg050 into regression002Steven Shaw10 years ago d15d21bConsolidate reg049 into regression002Steven Shaw10 years ago d9b8bcbConsolidate reg044 into regression002Steven Shaw10 years ago 2683ffaConsolidate reg035 into regression002Steven Shaw10 years ago 087a7c3Consolidate reg034 into regression002Steven Shaw10 years ago 7f53344Consolidate reg028 into regression002Steven Shaw10 years ago eac558eConsolidate reg023 into regression002Steven Shaw10 years ago 44fb18fConsolidate reg018 into regression002Steven Shaw10 years ago 812566dConsolidate reg010 into regression002Steven Shaw10 years ago 7701a90Consolidate reg007 into regression002Steven Shaw10 years ago c318c38Consolidate reg006 into regression002Steven Shaw10 years ago 1db1851Consolidate reg003 into regression002Steven Shaw10 years ago 2be265dUse one idris process for reg003Steven Shaw10 years ago 3112b29Move script from /bin to /scriptsSteven Shaw10 years ago 691e704Merge pull request #3344 from steshaw/optimise-travis-pkg-installationNiklas Larsson10 years ago 96cbb02Merge pull request #3341 from steshaw/auto-generating-extra-source-filesNiklas Larsson10 years ago c31e09fA script to (re)generate multi-ghc-travis template.Steven Shaw10 years ago 0422b09Must include cppcheck and hscolour in each spot in the matrix.Steven Shaw10 years ago fde0bbcOptimise package installation on Travis.Steven Shaw10 years ago e9f4200Generate extra-source-files using cabal hookSteven Shaw10 years ago 9916b3fMerge pull request #3338 from steshaw/consolidate-unique-testsNiklas Larsson10 years ago ace75afMerge pull request #3340 from zjhmale/fix-typoNiklas Larsson10 years ago 321f131fix typo Becuase to Becausezjhmale10 years ago 6f243b1Update idris.cabal extra-source-filesSteven Shaw10 years ago edb5d93Merge pull request #3322 from zjhmale/fix-lines-unlinesNiklas Larsson10 years ago 6e4a5e5Merge pull request #3335 from steshaw/allow-travis-to-run-against-private-repoNiklas Larsson10 years ago b4f3c6eRemember the original directory to avoid globbing.Steven Shaw10 years ago 731c529Merge pull request #3331 from melted/stderr_issueNiklas Larsson10 years ago 666f82eUpdate TestDataSteven Shaw10 years ago