summaryrefslogtreecommitdiff
path: root/.gitlab
Commit message (Expand)AuthorAgeFilesLines
* gitlab-ci: Run linters through ci.shBen Gamari2020-12-031-4/+4
* gitlab-ci: Fix copy-paste errorBen Gamari2020-12-031-6/+6
* gitlab-ci: Introduce a nightly cross-compilation jobBen Gamari2020-11-281-5/+20
* gitlab-ci: Add VERBOSE environment variableBen Gamari2020-11-201-0/+7
* gitlab-ci: Add usage message to ci.shBen Gamari2020-11-201-0/+58
* gitlab-ci: Rename FLAVOUR -> BUILD_FLAVOURBen Gamari2020-10-201-3/+3
* gitlab-ci: Fix Hadrian bindist namesBen Gamari2020-10-161-1/+4
* ci: Add ad-hoc performance testing ruleBen Gamari2020-09-251-0/+29
* ci.sh: Factor out common utilitiesBen Gamari2020-09-252-47/+55
* gitlab-ci: Ensure that cabal-install overwrites existing executablesBen Gamari2020-09-191-1/+3
* ci.sh: Enforce minimum happy/alex versionsBen Gamari2020-09-191-10/+8
* Require happy >=1.20Vladislav Zavialov2020-09-191-1/+1
* gitlab-ci: Bump Docker imagesBen Gamari2020-09-091-17/+25
* gitlab-ci: Accept Centos 7 C.utf8 localeBen Gamari2020-09-081-0/+3
* gitlab-ci: Handle distributions without localesBen Gamari2020-09-081-0/+6
* gitlab-ci: Configure bignum backend in Hadrian buildsBen Gamari2020-09-071-0/+2
* gitlab-ci: More intelligent detection of locale availabilityBen Gamari2020-09-051-3/+26
* linters: Make CPP linter skip image filesTakenobu Tani2020-08-261-0/+3
* gitlab-ci: Use MR base commit as performance baselineBen Gamari2020-08-181-0/+7
* gitlab-ci: Kill ssh-agent after pushing test metricsBen Gamari2020-07-261-0/+5
* .gitlab: re-enable integer-simple substitute (BIGNUM_BACKEND)Sergei Trofimovich2020-07-141-2/+2
* Update ssh keys in CI performance metrics upload scriptDavid Eichmann2020-06-301-2/+3
* gitlab-ci: Eliminate redundant push of CI metricsBen Gamari2020-06-131-4/+8
* gitlab-ci: Always push perf notesBen Gamari2020-06-131-2/+11
* MR template should ask for key partRichard Eisenberg2020-05-211-1/+6
* 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
* Update core spec to reflect changes to Core.Richard Eisenberg2020-03-201-0/+2
* 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
* Mention users guide and release notes in merge request templateAdam Sandberg Eriksson2020-02-201-2/+3
* 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-144-187/+428
* gitlab-ci: Pull test metrics before running testsuiteBen Gamari2020-01-071-48/+70
* gitlab-ci: Rename push-test-metrics.sh to test-metrics.shBen Gamari2020-01-071-0/+0
* Switch to ReadTheDocs theme for the user-guideSylvain Henry2019-12-251-0/+3
* gitlab-ci: Another approach for xz detectionBen Gamari2019-12-161-1/+18
* gitlab-ci: Move changelog linting logic to shell scriptBen Gamari2019-12-101-1/+3
* gitlab-ci: Move changelog linting logic to shell scriptBen Gamari2019-12-101-0/+14
* gitlab-ci: pxz is unavailable on CentOS 7Ben Gamari2019-12-021-1/+2
* win32-init: Drop workaround for #17480Ben Gamari2019-12-021-2/+0
* gitlab-ci: Install process to global pkgdb before starting buildBen Gamari2019-11-151-0/+2
* gitlab-ci: Use pxz to compress binary distributionsBen Gamari2019-10-291-0/+1
* linters: Add linter to catch unquoted use of $(TEST_HC)Ben Gamari2019-10-291-4/+16
View Lorry Controller Status