| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | gitlab-ci: Reintroduce DWARF-enabled bindists | Ben Gamari | 2019-04-26 | 1 | -0/+15 |
| | | | | | | It seems that this was inadvertently dropped in 1285d6b95fbae7858abbc4722bc2301d7fe40425. | ||||
| * | gitlab-ci: Fix CI image names | Ben Gamari | 2019-04-24 | 1 | -2/+3 |
| | | |||||
| * | gitlab-ci: Disable PDF building on Debian 8 | Ben Gamari | 2019-04-24 | 1 | -0/+2 |
| | | |||||
| * | gitlab-ci: Set LANG in centos7 build | Ben Gamari | 2019-04-24 | 1 | -0/+2 |
| | | | | | Let's see if this fixes the testsuite failures. | ||||
| * | gitlab-ci: Allow centos7 job to fail | Ben Gamari | 2019-04-24 | 1 | -0/+1 |
| | | |||||
| * | gitlab-ci: Further tighten linter release tag condition | Ben Gamari | 2019-04-22 | 1 | -1/+1 |
| | | |||||
| * | gitlab-ci: Only run release notes lint on release tags | Ben Gamari | 2019-04-22 | 1 | -1/+2 |
| | | |||||
| * | gitlab-ci: Add centos7 release job | Ben Gamari | 2019-04-22 | 1 | -0/+21 |
| | | |||||
| * | gitlab-ci: Do not build profiled libraries on 32-bit Windows | Ben Gamari | 2019-04-20 | 1 | -0/+4 |
| | | | | | Due to #15934. | ||||
| * | gitlab: Remove doc-tarball job | Ben Gamari | 2019-04-17 | 1 | -41/+0 |
| | | |||||
| * | Allow unregisterised build to fail | Ben Gamari | 2019-04-17 | 1 | -0/+1 |
| | | |||||
| * | gitlab-ci: Allow failing build jobs to fail | Ben Gamari | 2019-04-17 | 1 | -0/+3 |
| | | |||||
| * | gitlab-ci: Backport from master | Ben Gamari | 2019-04-17 | 1 | -104/+405 |
| | | |||||
| * | gitlab-ci: Use build cleanup logic on Darwin as well | Ben Gamari | 2019-02-20 | 1 | -3/+21 |
| | | | | | | | | We use the shell executor on Darwin as well as Windows. See https://gitlab.com/gitlab-org/gitlab-runner/issues/3856. (cherry picked from commit cfbd39bd405b4cedd3ee10a6d4a2bdd89b6e2e2d) | ||||
| * | gitlab-ci: Fix Windows cleanup command line | Ben Gamari | 2019-02-20 | 1 | -1/+4 |
| | | | | | | | | Why is it so hard to delete a directory's contents without deleting the directory itself in Windows? This will forever remain a mystery. (cherry picked from commit 6da9f4c8df7a216234ef50104e400cdcbfbc1bd4) | ||||
| * | gitlab-ci: Explicitly clear dependencies of all jobs | Ben Gamari | 2019-02-20 | 1 | -0/+4 |
| | | | | | | | | Apparently GitLab CI defaults to declaring all jobs of the previous stage as dependencies of a job. This meant that we would end up downloading all of our binary distributions during the `cleanup` stage, eating up a truly remarkable amount of S3 tranfers. | ||||
| * | gitlab-ci: Drop CircleCI jobs | Ben Gamari | 2019-02-20 | 1 | -30/+0 |
| | | | | | | | It's pretty unlikely we will be going back to circleci at this point [skip-ci] | ||||
| * | gitlab: Collect artifacts on Windows | Ben Gamari | 2019-02-20 | 1 | -0/+10 |
| | | |||||
| * | Update Darwin CI to use new toplevel --with-intree-gmp configure flag | Alec Theriault | 2019-02-20 | 1 | -1/+1 |
| | | |||||
| * | gitlab-ci: Disallow failure | Ben Gamari | 2019-02-20 | 1 | -1/+0 |
| | | |||||
| * | gitlab-ci: Reenable Hadrian build on Windows | Ben Gamari | 2019-02-20 | 1 | -6/+5 |
| | | |||||
| * | gitlab-ci: Cleanup Windows builds | Ben Gamari | 2019-01-14 | 1 | -0/+30 |
| | | | | | See Note [Cleanup on Windows]. | ||||
| * | gitlab-ci: Clone haddock from its upstream repository | Ben Gamari | 2019-01-07 | 1 | -1/+1 |
| | | | | | This ensures that changes requiring haddock changes can be built under CI. | ||||
| * | gitlab-ci: Try reenabling PDF documentation on Darwin | Ben Gamari | 2019-01-06 | 1 | -2/+0 |
| | | | | | Carter says that the builder issues have now been sorted. | ||||
| * | configure: introduce HAPPY and ALEX vars and deprecate --with-ghc in favour ↵ | Adam Sandberg Eriksson | 2019-01-01 | 1 | -2/+2 |
| | | | | | | | of the GHC var Also updates the windows gitlab ci to use the new configure variables. | ||||
| * | gitlab-ci: Try only building Windows in the quick flavour | Ben Gamari | 2018-12-25 | 1 | -0/+1 |
| | | | | | | | It seems no matter how many machines I throw at Windows it's constantly behind. Perhaps the quick build flavour will be fast enough to allow us to keep until while we sort out our toolchain issues (#16084). | ||||
| * | gitlab-ci: Allow Windows to fail for now | Ben Gamari | 2018-12-25 | 1 | -2/+4 |
| | | | | | While we sort out #16084. | ||||
| * | gitlab-ci: Require that integer-simple configuration passes | Ben Gamari | 2018-12-25 | 1 | -2/+1 |
| | | | | | The last step of #15915. | ||||
| * | gitlab-ci: Clean tree on Windows after job | Ben Gamari | 2018-12-24 | 1 | -0/+1 |
| | | | | | | It seems like currently the runner doesn't delete the working tree after finishing a job. At least we can delete the binary artifacts for now. | ||||
| * | gitlab-ci: Use robocopy instead of bash to copy cabal cache | Ben Gamari | 2018-12-24 | 1 | -1/+1 |
| | | |||||
| * | gitlab-ci: Use per-build temporary directory on Windows | Ben Gamari | 2018-12-24 | 1 | -3/+12 |
| | | | | | | | | I have seen several instances of inexplicable "Access denied" errors on Windows. Using per-build temporary directories avoids any chance of interference between builds and eliminates the possibility of temporary files leaking beyond the life of the build. | ||||
| * | gitlab-ci: Disable CircleCI Darwin builds | Ben Gamari | 2018-12-23 | 1 | -1/+1 |
| | | | | | They aren't finishing correctly anyways. | ||||
| * | gitlab-ci: Allow Darwin CircleCI build to fail | Ben Gamari | 2018-12-22 | 1 | -0/+1 |
| | | | | | | This is currently spuriously failing. Moreover, we have the Mac Mini builder running again so this is much less necessary now. | ||||
| * | gitlab-ci: Fix Darwin build | Ben Gamari | 2018-12-21 | 1 | -1/+4 |
| | | | | | Previously the toolchain directory was wiped away by git clean. | ||||
| * | gitlab-ci: Only run nightly-i386-linux-deb9 when NIGHTLY is set | Ben Gamari | 2018-12-21 | 1 | -0/+3 |
| | | |||||
| * | gitlab-ci: More aggressive cleaning | Ben Gamari | 2018-12-21 | 1 | -2/+3 |
| | | |||||
| * | gitlab-ci: Only run CircleCI Darwin build in full-build stage | Ben Gamari | 2018-12-21 | 1 | -0/+1 |
| | | |||||
| * | gitlab-ci: Add i386 Debian 9 buildsD5440 | Ben Gamari | 2018-12-21 | 1 | -0/+24 |
| | | |||||
| * | gitlab-ci: Ensure that build environment is clean | Ben Gamari | 2018-12-21 | 1 | -1/+3 |
| | | |||||
| * | gitlab-ci: Set locale | Ben Gamari | 2018-12-21 | 1 | -0/+2 |
| | | |||||
| * | gitlab-ci: Set thread count properly on Windows | Ben Gamari | 2018-12-21 | 1 | -2/+2 |
| | | |||||
| * | gitlab-ci: Tag linter stage | Ben Gamari | 2018-12-21 | 1 | -0/+14 |
| | | | | | | | | Previously the linters were tagged with x86_64-linux, meaning that linting jobs would often get stuck behind builds in the queue. Given that linting jobs are fairly low-cost they hold up later build stages it is important that we reduce this latency. | ||||
| * | gitlab-ci: Fix Windows build | Ben Gamari | 2018-12-21 | 1 | -18/+20 |
| | | |||||
| * | gitlab-ci: Remove CircleCI configuration | Ben Gamari | 2018-12-21 | 1 | -12/+0 |
| | | | | | Our CircleCI builds will fail anyways without large instances. | ||||
| * | gitlab-ci: Allow Hadrian build on Windows to fail | Ben Gamari | 2018-12-21 | 1 | -0/+2 |
| | | | | | Due to #16073. | ||||
| * | Revert "gitlab: Drop submodules hack" | Ben Gamari | 2018-12-21 | 1 | -2/+20 |
| | | | | | | | | It turns out that the submodules hack is useful to ensure that CI works in forks. This reverts commit 90ceafa8b9ad60e3c7b72cdd2dacdbeb96bdcddc. | ||||
| * | gitlab-ci: Split build into two halves | Ben Gamari | 2018-12-19 | 1 | -4/+15 |
| | | | | | | | | | | | | Currently we are having quite some trouble keeping up with our build volume due to the number of configurations we have. I've split the pipeline into two halves: * build, which builds just vanilla deb9-linux with make and hadrian * full-build, which builds everything else This will trade-off some latency to more efficient use of our builders. | ||||
| * | gitlab-ci: Fix locale on Darwin only | Ben Gamari | 2018-12-19 | 1 | -0/+1 |
| | | | | | Setting LANG causes trouble on Debian. | ||||
| * | gitlab-ci: Ensure that locale is set | Ben Gamari | 2018-12-18 | 1 | -0/+1 |
| | | |||||
| * | gitlab-ci: Make Windows PATH more robust | Ben Gamari | 2018-12-18 | 1 | -1/+15 |
| | | |||||
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |
path: root/.gitlab-ci.yml