summaryrefslogtreecommitdiff
path: root/.gitlab/ci.sh
Commit message (Expand)AuthorAgeFilesLines
* gitlab-ci: Eliminate redundant push of CI metricsBen Gamari2020-06-131-4/+8
* gitlab-ci: Always push perf notesBen Gamari2020-06-131-2/+11
* gitlab-ci: Set locale to C.UTF-8.Gleb Popov2020-05-211-0/+3
* gitlab-ci: Bump FreeBSD bootstrap compiler to 8.10.1Ben Gamari2020-04-181-6/+0
* Rename ghci.sh and build.sh to ghci and build respectivelyXavier Denis2020-02-291-1/+1
* hadrian: Add --broken-test flagBen Gamari2020-02-261-0/+1
* gitlab-ci: Add run_hadrian subcommandBen Gamari2020-02-261-9/+11
* gitlab-ci: Fix colors on DarwinBen Gamari2020-02-261-1/+1
* gitlab-ci: Add shell subcommand for debugging within CI environmentBen Gamari2020-02-261-0/+10
* gitlab-ci: Avoid duplicating ~/.cabal contents with every buildBen Gamari2020-02-201-1/+2
* gitlab-ci: Drop unnecessary GHC_VERSION checkBen Gamari2020-02-141-4/+0
* gitlab-ci: Always use mingw64 python on WindowsBen Gamari2020-02-141-0/+3
* gitlab-ci: Fix various shellcheck warningsBen Gamari2020-02-141-42/+55
* gitlab-ci: Consolidate CI logicBen Gamari2020-02-141-0/+428