summaryrefslogtreecommitdiff
path: root/.gitlab
Commit message (Expand)AuthorAgeFilesLines
* ci: fix ci.sh by creating build.mk in one placeAdam Sandberg Ericsson2021-09-211-21/+3
* [ci/nix-shell] uniquify NIX_LDFLAGS{_FOR_TARGET}Moritz Angermann2021-09-211-1/+11
* [ci/nix-shell] [Darwin] Stop the ld warnings about libiconv.Moritz Angermann2021-09-211-0/+3
* [ci/nix-shell] Add Foundation and SecurityMoritz Angermann2021-09-211-3/+3
* [ci] Default value for MAKE_ARGSMoritz Angermann2021-09-211-2/+2
* [ci] default value for CONFIGURE_ARGSMoritz Angermann2021-09-211-1/+1
* [ci] Add support for building on aarch64-darwinMoritz Angermann2021-09-212-13/+81
* Enforce maximum happy/alex versionBen Gamari2021-04-091-12/+12
* ci.sh: Factor out common utilitiesBen Gamari2021-04-082-47/+55
* gitlab-ci: Bump Docker imagesBen Gamari2021-04-071-21/+28
* gitlab-ci: Rename FLAVOUR -> BUILD_FLAVOURBen Gamari2021-01-221-3/+3
* gitlab-ci: Use gtar on FreeBSDghc-9.0.1-rc1wip/keepAlive-ghc-9.0Ben Gamari2020-12-271-2/+4
* gitlab-ci: Ensure that cabal-install overwrites existing executablesBen Gamari2020-09-221-1/+6
* ci.sh: Enforce minimum happy/alex versionsBen Gamari2020-09-211-10/+9
* gitlab-ci: Handle distributions without localesBen Gamari2020-09-071-0/+6
* gitlab-ci: Accept Centos 7 C.utf8 localeBen Gamari2020-09-071-0/+3
* gitlab-ci: Configure bignum backend in Hadrian buildsBen Gamari2020-09-071-0/+2
* gitlab-ci: More intelligent detection of locale availabilityBen Gamari2020-09-061-3/+26
* gitlab-ci: Use MR base commit as performance baselineBen Gamari2020-08-151-0/+7
* gitlab-ci: Kill ssh-agent after pushing test metricsBen Gamari2020-08-131-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