summaryrefslogtreecommitdiff
path: root/.gitlab
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* linters: Add mode to lint given set of filesBen Gamari2019-10-291-3/+14
* gitlab-ci: Fix URL of Windows cabal-install tarballBen Gamari2019-09-231-1/+1
* gitlab: Add issue template for documentation issuesBen Gamari2019-09-131-0/+22
* gitlab-ci: Fix URL of Darwin's cabal-install tarballBen Gamari2019-08-291-1/+1
* Remove fix-submodules.pyÖmer Sinan Ağacan2019-07-231-53/+0
* Make CPP linter skip certain filesJohn Ericson2019-07-141-0/+7
* head.hackage: Run builds with -dcore-lintBen Gamari2019-07-111-0/+1
* head.hackage: Run build on head.hackage's master branchBen Gamari2019-07-111-1/+1
* Testsuite tweaks and refactoringÖmer Sinan Ağacan2019-07-091-1/+1
* gitlab: Reduce size of template headingsBen Gamari2019-07-042-6/+6
* gitlab-ci: Lint the lintersBen Gamari2019-06-141-15/+14
* lint: Only apply --interactive lint to testsuite .T filesBen Gamari2019-06-142-7/+18
* Clean up .circleciBen Gamari2019-06-131-0/+80
* linters/check-makefiles: Limit lint to MakefilesBen Gamari2019-06-122-3/+5
* linters: Fix check-version-numberBen Gamari2019-04-131-1/+1
* gitlab-ci: Ensure that version number has three componentsBen Gamari2019-04-121-0/+6