summaryrefslogtreecommitdiff
path: root/.circleci
Commit message (Expand)AuthorAgeFilesLines
* CircleCI: Fix check for git push retry limit.David Eichmann2018-12-211-2/+2
* circleci: Fix LLVM buildBen Gamari2018-12-181-7/+3
* circleci: Don't use xlarge instancesBen Gamari2018-12-171-13/+0
* gitlab-ci: Add aarch64 targetBen Gamari2018-12-151-0/+69
* gitlab-ci: Add lintersBen Gamari2018-12-131-0/+30
* gitlab-ci: Add LLVM wayBen Gamari2018-12-134-10/+20
* circleci: ignore gitlab branches for all jobs in the validate workflowAlp Mestanogullari2018-12-111-13/+26
* circleci: Add integer-simple build targetBen Gamari2018-12-112-1/+28
* CircleCI: Add configurations for Centos 7 and Debian 9Ben Gamari2018-12-117-56/+225
* hadrian: Drop nix build scriptBen Gamari2018-12-081-0/+45
* CircleCI: Don't ignore gitlab/.* branchesBen Gamari2018-12-071-3/+0
* Add GitLab CIBen Gamari2018-12-015-14/+18
* Add a Gitlab CI script that runs Circle CI validation jobsAlp Mestanogullari2018-11-301-13/+27
* CircleCI: More cleanupBen Gamari2018-11-244-14/+29
* CircleCI: Clean up docker imageBen Gamari2018-11-244-34/+16
* circleci: Actually build with in-tree GMP on DarwinDario Bertini2018-11-222-3/+2
* circleci: Disable pushing of test metrics if not validating upstreamBen Gamari2018-11-121-0/+4
* testsuite: Save performance metrics in git notes.David Eichmann2018-11-072-2/+87
* Revert "CircleCI: Build DWARF-enabled Linux bindists"Ben Gamari2018-11-072-30/+0
* CircleCI: Build DWARF-enabled Linux bindistsBen Gamari2018-11-072-0/+30
* circleci: Store test results of slow validation buildsBen Gamari2018-10-301-0/+1
* circleci: Build with in-tree GMP on DarwinBen Gamari2018-10-291-1/+3
* circleci: Create missing test-results directoryBen Gamari2018-10-021-1/+3
* circleci: Run slowtest with multiple threadsBen Gamari2018-10-011-1/+1
* use *test instead of *slowtest for llvm validation on Circle CIAlp Mestanogullari2018-08-121-1/+1
* circleci: Reduce compression effort to 3Ben Gamari2018-08-081-1/+2
* circleci: Reduce build verbosityBen Gamari2018-08-081-1/+1
* circleci: Fix documentation buildingBen Gamari2018-08-086-15/+95
* circleci: Don't build validate-x86_64-linux-debug unregisterisedBen Gamari2018-08-051-1/+1
* circleci: Detect core countBen Gamari2018-07-061-4/+6
* circleci: Add a reference to the documentation on the WikiBen Gamari2018-06-161-0/+3
* circleci: Bump fedora docker image tagBen Gamari2018-06-161-1/+1
* Bump supported LLVM version to 6.0Ben Gamari2018-06-151-2/+2
* circleci: Remove systemd from Fedora nsswitch configurationBen Gamari2018-06-151-0/+5
* Run Linux slow validate nightly on Circle CIAlp Mestanogullari2018-06-081-0/+17
* Update docker images to use GHC 8.4.2 and cabal-install-2.2mrkkrp2018-05-054-30/+38
* CircleCI: Save test results as JUnit XMLMatthew Pickering2018-05-031-1/+13
* Fix GHC collector flavor for Fedora job (Circle CI)mrkkrp2018-04-101-1/+1
* Run tests after artifact collectionmrkkrp2018-04-071-5/+5
* Collect build artifacts with S3mrkkrp2018-04-071-20/+22
* Rename CI docker imagesmrkkrp2018-03-291-7/+7
* circleci: Bump Hackage index stateBen Gamari2018-03-261-1/+1
* Add a job running on Fedoramrkkrp2018-03-262-0/+45
* Add a build with 32bit Ubuntu containermrkkrp2018-03-192-0/+54
* Use docker images with non-root usermrkkrp2018-03-073-31/+27
* circleci: Simplify Hadrian buildBen Gamari2018-02-261-9/+2
* circleci: Skip performance testsBen Gamari2018-02-201-2/+2
* Increase the amount of parallelism in circleci.Facundo Domínguez2018-02-191-1/+1
* circleci: Add nightly build using devel2 flavourBen Gamari2018-02-181-0/+19
* circleci: Add Dockerfile for x86_64-linuxBen Gamari2018-01-311-0/+3