summaryrefslogtreecommitdiff
path: root/.gitlab
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Fix and Reapply "Performance tests: recover a baseline from ancestor commits ↵David Eichmann2019-02-161-0/+67
| | | | and CI results."
* Revert "Performance tests: recover a baseline from ancestor commits and CI ↵Ben Gamari2019-01-311-65/+0
| | | | | | | | | results." Unfortunately this has broken all future commits due to spurious(?) performance changes which I have been unable to work around. This reverts commit cc2261d42f6a954d88e355aaad41f001f65c95da.
* Performance tests: recover a baseline from ancestor commits and CI results.David Eichmann2019-01-301-0/+65
| | | | gitlab-ci: push performance metrics as git notes to the "GHC Performance Notes" repository.
* Revert "Batch merge"Ben Gamari2019-01-301-65/+0
| | | | This reverts commit 76c8fd674435a652c75a96c85abbf26f1f221876.
* Batch mergeBen Gamari2019-01-301-0/+65
|
* gitlab: Add merge request templateBen Gamari2019-01-211-0/+19
| | | | | | This begins to define our expectations of contributions. [skip-ci]
* fix-submodules: Rip out typingBen Gamari2019-01-071-3/+2
| | | | Debian Jessie only runs Python 3.4, whereas typing was introduced in Python 3.5.
* gitlab-ci: Clone haddock from its upstream repositoryBen Gamari2019-01-071-1/+47
| | | | This ensures that changes requiring haddock changes can be built under CI.
* linters: Check for WARN macro with space separating it from its parenBen Gamari2018-12-221-0/+2
|
* gitlab-ci: Fix Darwin buildBen Gamari2018-12-211-1/+4
| | | | Previously the toolchain directory was wiped away by git clean.
* Revert "gitlab: Drop submodules hack"Ben Gamari2018-12-211-0/+8
| | | | | | | It turns out that the submodules hack is useful to ensure that CI works in forks. This reverts commit 90ceafa8b9ad60e3c7b72cdd2dacdbeb96bdcddc.
* gitlab-ci: Try fixing Windows buildBen Gamari2018-12-181-1/+1
| | | | For some reason curl isn't found on the new builder.
View Lorry Controller Status