| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Clean up .circleci | Ben Gamari | 2019-06-13 | 4 | -600/+0 |
| * | Add `-haddock` to prepare-system.sh and .gitlab-ci.yml | Takenobu Tani | 2019-06-02 | 1 | -0/+1 |
| * | Add `-haddock` to perf.mk rather than prepare-system.sh | Takenobu Tani | 2019-06-02 | 1 | -1/+0 |
| * | Add `-haddock` option under ci condition to fix #16415 | Takenobu Tani | 2019-06-02 | 1 | -0/+1 |
| * | Update Wiki URLs to point to GitLab | Takenobu Tani | 2019-03-25 | 1 | -1/+1 |
| * | Drop Docker images | Ben Gamari | 2019-03-01 | 11 | -545/+0 |
| * | Update CI images to GHC-8.4.4 & cabal-install-2.4.1.0 | Oleg Grenrus | 2019-02-22 | 7 | -59/+69 |
| * | CircleCI: Fix check for git push retry limit. | David Eichmann | 2018-12-21 | 1 | -2/+2 |
| * | circleci: Fix LLVM build | Ben Gamari | 2018-12-18 | 1 | -7/+3 |
| * | circleci: Don't use xlarge instances | Ben Gamari | 2018-12-17 | 1 | -13/+0 |
| * | gitlab-ci: Add aarch64 target | Ben Gamari | 2018-12-15 | 1 | -0/+69 |
| * | gitlab-ci: Add linters | Ben Gamari | 2018-12-13 | 1 | -0/+30 |
| * | gitlab-ci: Add LLVM way | Ben Gamari | 2018-12-13 | 4 | -10/+20 |
| * | circleci: ignore gitlab branches for all jobs in the validate workflow | Alp Mestanogullari | 2018-12-11 | 1 | -13/+26 |
| * | circleci: Add integer-simple build target | Ben Gamari | 2018-12-11 | 2 | -1/+28 |
| * | CircleCI: Add configurations for Centos 7 and Debian 9 | Ben Gamari | 2018-12-11 | 7 | -56/+225 |
| * | hadrian: Drop nix build script | Ben Gamari | 2018-12-08 | 1 | -0/+45 |
| * | CircleCI: Don't ignore gitlab/.* branches | Ben Gamari | 2018-12-07 | 1 | -3/+0 |
| * | Add GitLab CI | Ben Gamari | 2018-12-01 | 5 | -14/+18 |
| * | Add a Gitlab CI script that runs Circle CI validation jobs | Alp Mestanogullari | 2018-11-30 | 1 | -13/+27 |
| * | CircleCI: More cleanup | Ben Gamari | 2018-11-24 | 4 | -14/+29 |
| * | CircleCI: Clean up docker image | Ben Gamari | 2018-11-24 | 4 | -34/+16 |
| * | circleci: Actually build with in-tree GMP on Darwin | Dario Bertini | 2018-11-22 | 2 | -3/+2 |
| * | circleci: Disable pushing of test metrics if not validating upstream | Ben Gamari | 2018-11-12 | 1 | -0/+4 |
| * | testsuite: Save performance metrics in git notes. | David Eichmann | 2018-11-07 | 2 | -2/+87 |
| * | Revert "CircleCI: Build DWARF-enabled Linux bindists" | Ben Gamari | 2018-11-07 | 2 | -30/+0 |
| * | CircleCI: Build DWARF-enabled Linux bindists | Ben Gamari | 2018-11-07 | 2 | -0/+30 |
| * | circleci: Store test results of slow validation builds | Ben Gamari | 2018-10-30 | 1 | -0/+1 |
| * | circleci: Build with in-tree GMP on Darwin | Ben Gamari | 2018-10-29 | 1 | -1/+3 |
| * | circleci: Create missing test-results directory | Ben Gamari | 2018-10-02 | 1 | -1/+3 |
| * | circleci: Run slowtest with multiple threads | Ben Gamari | 2018-10-01 | 1 | -1/+1 |
| * | use *test instead of *slowtest for llvm validation on Circle CI | Alp Mestanogullari | 2018-08-12 | 1 | -1/+1 |
| * | circleci: Reduce compression effort to 3 | Ben Gamari | 2018-08-08 | 1 | -1/+2 |
| * | circleci: Reduce build verbosity | Ben Gamari | 2018-08-08 | 1 | -1/+1 |
| * | circleci: Fix documentation building | Ben Gamari | 2018-08-08 | 6 | -15/+95 |
| * | circleci: Don't build validate-x86_64-linux-debug unregisterised | Ben Gamari | 2018-08-05 | 1 | -1/+1 |
| * | circleci: Detect core count | Ben Gamari | 2018-07-06 | 1 | -4/+6 |
| * | circleci: Add a reference to the documentation on the Wiki | Ben Gamari | 2018-06-16 | 1 | -0/+3 |
| * | circleci: Bump fedora docker image tag | Ben Gamari | 2018-06-16 | 1 | -1/+1 |
| * | Bump supported LLVM version to 6.0 | Ben Gamari | 2018-06-15 | 1 | -2/+2 |
| * | circleci: Remove systemd from Fedora nsswitch configuration | Ben Gamari | 2018-06-15 | 1 | -0/+5 |
| * | Run Linux slow validate nightly on Circle CI | Alp Mestanogullari | 2018-06-08 | 1 | -0/+17 |
| * | Update docker images to use GHC 8.4.2 and cabal-install-2.2 | mrkkrp | 2018-05-05 | 4 | -30/+38 |
| * | CircleCI: Save test results as JUnit XML | Matthew Pickering | 2018-05-03 | 1 | -1/+13 |
| * | Fix GHC collector flavor for Fedora job (Circle CI) | mrkkrp | 2018-04-10 | 1 | -1/+1 |
| * | Run tests after artifact collection | mrkkrp | 2018-04-07 | 1 | -5/+5 |
| * | Collect build artifacts with S3 | mrkkrp | 2018-04-07 | 1 | -20/+22 |
| * | Rename CI docker images | mrkkrp | 2018-03-29 | 1 | -7/+7 |
| * | circleci: Bump Hackage index state | Ben Gamari | 2018-03-26 | 1 | -1/+1 |
| * | Add a job running on Fedora | mrkkrp | 2018-03-26 | 2 | -0/+45 |
