summaryrefslogtreecommitdiff
path: root/.gitlab
Commit message (Collapse)AuthorAgeFilesLines
* gitlab-ci: Fix perf metric pushingBen Gamari2021-01-221-1/+1
| | | | | | Previously we would inexplicably append the key to id_rsa. Fixes #19225.
* gitlab-ci: Don't attempt to push perf notes in cross buildBen Gamari2021-01-091-0/+5
| | | | | We don't run the testsuite in cross-compiled builds so there is nothing to push.
* gitlab-ci: Use gtar on FreeBSDBen Gamari2020-12-211-2/+4
|
* Fix project version for ProjectVersionMunged (fix #19058)Sylvain Henry2020-12-171-2/+3
|
* gitlab-ci: Run linters through ci.shBen Gamari2020-12-031-4/+4
| | | | Ensuring that the right toolchain is used.
* gitlab-ci: Fix copy-paste errorBen Gamari2020-12-031-6/+6
| | | | Also be more consistent in quoting.
* gitlab-ci: Introduce a nightly cross-compilation jobBen Gamari2020-11-281-5/+20
| | | | | | | This adds a job to test cross-compilation from x86-64 to AArch64 with Hadrian. Fixes #18234
* gitlab-ci: Add VERBOSE environment variableBen Gamari2020-11-201-0/+7
| | | | | And change the make build system's default behavior to V=0, greatly reducing build log sizes.
* gitlab-ci: Add usage message to ci.shBen Gamari2020-11-201-0/+58
|
* gitlab-ci: Rename FLAVOUR -> BUILD_FLAVOURBen Gamari2020-10-201-3/+3
| | | | | | | Previously the Hadrian jobs used the `FLAVOUR` environment variable to communicate which flavour `ci.sh` should build whereas `make` used `BUILD_FLAVOUR`. This caused unnecessary confusion. Consolidate these two.
* 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
| | | | | Previously cabal-install wouldn't overwrite toolchain executables if they already existed (as they likely would due to caching).
* ci.sh: Enforce minimum happy/alex versionsBen Gamari2020-09-191-10/+8
| | | | | Also, always invoke cabal-install to ensure that happy/alex symlinks are up-to-date.
* Require happy >=1.20Vladislav Zavialov2020-09-191-1/+1
|
* gitlab-ci: Bump Docker imagesBen Gamari2020-09-091-17/+25
| | | | | | | We now generate our Docker images via Dhall definitions, as described in ghc/ci-images!52. Additionally, we are far more careful about where tools come from, using the ALEX, HAPPY, HSCOLOR, and GHC environment variables (set in the Dockerfiles) to find bootstrapping tools.
* gitlab-ci: Accept Centos 7 C.utf8 localeBen Gamari2020-09-081-0/+3
| | | | | | Centos apparently has C.utf8 rather than C.UTF-8. (cherry picked from commit d9f85dd25a26a04d3485470afb3395ee2dec6464)
* gitlab-ci: Handle distributions without localesBen Gamari2020-09-081-0/+6
| | | | | | | | Previously we would assume that the `locale` utility exists. However, this is not so on Alpine as musl's locale support is essentially non-existent. (cherry picked from commit 17cdb7ac3b557a245fee1686e066f9f770ddc21e)
* 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
| | | | | | | | Previously ci.sh would unconditionally use C.UTF-8. However, this fails on Centos 7, which appears not to provide this locale. Now we first try C.UTF-8, then try en_US.UTF-8, then fail. Works around #18607.
* linters: Make CPP linter skip image filesTakenobu Tani2020-08-261-0/+3
| | | | | This patch adds an exclusion rule for `docs/users_guide/images`, to avoid lint errors of PDF files.
* 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
| | | | | Otherwise the Windows builds hang forever waiting for the process to terminate.
* .gitlab: re-enable integer-simple substitute (BIGNUM_BACKEND)Sergei Trofimovich2020-07-141-2/+2
| | | | | | | | Recently build system migrated from INTEGER_LIBRARY to BIGNUM_BACKEND. But gitlab CI was never updated. Let's enable BIGNUM_BACKEND=native. Bug: https://gitlab.haskell.org/ghc/ghc/-/issues/18437 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* 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
| | | | | | | | | | Previously we ci.sh would run with `set -e` implying that we wouldn't push perf notes if the testsuite were to fail, even if it *only* failed due to perf notes. This rendered the whole performance testing story quite fragile as a single regressing commit would cause every successive commit to fail since a new baseline would not be uploaded. Fix this by ensuring that we always push performance notes.
* 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
| | | | | | | | | | | | Key changes: * Adds a new rule for forall-coercions over coercion variables, which was implemented but conspicuously missing from the spec. * Adds treatment for FunCo. * Adds treatment for ForAllTy over coercion variables. * Improves commentary (including restoring a Note lost in 03d4852658e1b7407abb4da84b1b03bfa6f6db3b) in the source. No changes to running code.
* Rename ghci.sh and build.sh to ghci and build respectivelyXavier Denis2020-02-291-1/+1
| | | | | | Convert hadrian buildscripts to unsuffixed, dashed form final cleanups
* hadrian: Add --broken-test flagBen Gamari2020-02-261-0/+1
| | | | | This exposes the flag of the same name supported by the testsuite driver.
* gitlab-ci: Add run_hadrian subcommandBen Gamari2020-02-261-9/+11
| | | | | I've ruined two trees already by failing to pass --flavour to hadrian. Let's factor this out so it can be reused during troubleshooting.
* gitlab-ci: Fix colors on DarwinBen Gamari2020-02-261-1/+1
| | | | Darwin sh doesn't support \e.
* 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
| | | | | | | | Previously our attempt to cache the cabal store would `cp cabal-cache ~/.cabal`. However, if the latter already existed this meant that we would end up with ~/.cabal/cabal-cache. Not only would this not help caching but it would exponentially grow the size of ~/.cabal. Not good!
* 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
| | | | | | | | | | | | | | This moves nearly all of the CI logic to .gitlab/ci.sh. This improves things in a number of ways: * it's harder for inconsistencies to arise between architectures * it's easier to share logic between architectures * on Windows, it's easier to ensure that all CI steps are executed from within a properly initialized mingw session. While in town I also add a FreeBSD build job and update the Windows job to use the gitlab-runner PowerShell executor, since cmd.exe will be deprecated soon (fixing #17699).
* gitlab-ci: Pull test metrics before running testsuiteBen Gamari2020-01-071-48/+70
| | | | | Otherwise the testsuite driver may not have an up-to-date baseline.
* gitlab-ci: Rename push-test-metrics.sh to test-metrics.shBen Gamari2020-01-071-0/+0
| | | | Refactoring to follow.
* 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
| | | | Allowing it to be easily used locally.
* gitlab-ci: Move changelog linting logic to shell scriptBen Gamari2019-12-101-0/+14
| | | | Allowing it to be easily used locally.
* gitlab-ci: pxz is unavailable on CentOS 7Ben Gamari2019-12-021-1/+2
| | | | Fall back to xz
View Lorry Controller Status