summaryrefslogtreecommitdiff
path: root/.gitlab
Commit message (Collapse)AuthorAgeFilesLines
* 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
* win32-init: Drop workaround for #17480Ben Gamari2019-12-021-2/+0
| | | | | | The `process` changes have now been merged into `hsc2hs`. (cherry picked from commit fa029f53132ad59f847ed012d3b835452cf16615)
* gitlab-ci: Install process to global pkgdb before starting buildBen Gamari2019-11-151-0/+2
| | | | | This is an attempt to mitigate #17480 by ensuring that a functional version of the process library is available before attempting the build.
* 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
| | | | This is a common bug that creeps into Makefiles (e.g. see T12674).
* linters: Add mode to lint given set of filesBen Gamari2019-10-291-3/+14
| | | | This makes testing much easier.
* 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
| | | | Fixes #17180.
* gitlab-ci: Fix URL of Darwin's cabal-install tarballBen Gamari2019-08-291-1/+1
| | | | | This was inadvertently referring to the cabal-install-latest/ directory which is volatile.
* Remove fix-submodules.pyÖmer Sinan Ağacan2019-07-231-53/+0
| | | | | Now that we have absolute paths for submodules (since a76b233d) we no longer need this script.
* Make CPP linter skip certain filesJohn Ericson2019-07-141-0/+7
| | | | | | - docs which document the lint and need to contain the unutterable - vendored code which is outside our purview
* 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
| | | | The GitLab CI infrastructure is now in the master branch.
* Testsuite tweaks and refactoringÖmer Sinan Ağacan2019-07-091-1/+1
| | | | | | | | | | | | | | | | - Rename requires_th to req_th for consistency with other req functions (e.g. req_interp, req_profiling etc.) - req_th (previously requires_th) now checks for interpreter (via req_interp). With this running TH tests are skipped when running the test suite with stage=1. - Test tweaks: - T9360a, T9360b: Use req_interp - recomp009, T13938, RAE_T32a: Use req_th - Fix check-makefiles linter: it now looks for Makefiles instead of .T files (which are actually Python files)
* 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
| | | | Move prepare-system.sh to .gitlab and remove everything else.
* linters/check-makefiles: Limit lint to MakefilesBen Gamari2019-06-122-3/+5
| | | | | | Previously we would apply this rule, which is only intended for testsuite Makefiles, to all files. This lead to a number of false-positives in all.T files.
* linters: Fix check-version-numberBen Gamari2019-04-131-1/+1
| | | This should have used `grep -E`, not `grep -e`
* gitlab-ci: Ensure that version number has three componentsBen Gamari2019-04-121-0/+6
|
* gitlab: Bump cabal-install version used by Windows builds to 2.4Ben Gamari2019-04-091-1/+2
| | | | Hopefully fixes Windows Hadrian build.
* gitlab: Fix label names in issue templatesBen Gamari2019-04-032-4/+4
|
* gitlab: Mention ~"user facing" labelBen Gamari2019-04-011-0/+2
|
* gitlab: Move feature request template to issue_templatesBen Gamari2019-04-011-0/+0
| | | | Whoops.
* gitlab: Add feature request MR templateBen Gamari2019-04-011-0/+13
|
* gitlab: Add some simply issue templatesBen Gamari2019-04-011-0/+24
|
* gitlab: Add merge request template for backports for 8.8Ben Gamari2019-04-011-0/+11
|
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-2/+2
| | | | | | | | | | | | | | | | | | | | | | | This moves all URL references to Trac Wiki to their corresponding GitLab counterparts. This substitution is classified as follows: 1. Automated substitution using sed with Ben's mapping rule [1] Old: ghc.haskell.org/trac/ghc/wiki/XxxYyy... New: gitlab.haskell.org/ghc/ghc/wikis/xxx-yyy... 2. Manual substitution for URLs containing `#` index Old: ghc.haskell.org/trac/ghc/wiki/XxxYyy...#Zzz New: gitlab.haskell.org/ghc/ghc/wikis/xxx-yyy...#zzz 3. Manual substitution for strings starting with `Commentary` Old: Commentary/XxxYyy... New: commentary/xxx-yyy... See also !539 [1]: https://gitlab.haskell.org/bgamari/gitlab-migration/blob/master/wiki-mapping.json
* Only run check-makefiles.py linter in testsuite dirMatthew Pickering2019-03-211-1/+1
|
* gitlab-ci: Implement support for i386/Windows bindistsBen Gamari2019-03-191-1/+13
|
* gitlab-ci: Implement head.hackage jobsBen Gamari2019-03-171-0/+79
|
View Lorry Controller Status