summaryrefslogtreecommitdiff
path: root/.circleci/config.yml
Commit message (Expand)AuthorAgeFilesLines
* circleci: Fix LLVM buildBen Gamari2018-12-181-7/+3
* circleci: Don't use xlarge instancesBen Gamari2018-12-171-13/+0
* gitlab-ci: Add LLVM wayBen Gamari2018-12-131-10/+2
* circleci: ignore gitlab branches for all jobs in the validate workflowAlp Mestanogullari2018-12-111-13/+26
* circleci: Add integer-simple build targetBen Gamari2018-12-111-1/+26
* CircleCI: Add configurations for Centos 7 and Debian 9Ben Gamari2018-12-111-49/+127
* CircleCI: Don't ignore gitlab/.* branchesBen Gamari2018-12-071-3/+0
* Add GitLab CIBen Gamari2018-12-011-8/+8
* Add a Gitlab CI script that runs Circle CI validation jobsAlp Mestanogullari2018-11-301-13/+27
* CircleCI: More cleanupBen Gamari2018-11-241-8/+8
* CircleCI: Clean up docker imageBen Gamari2018-11-241-6/+6
* circleci: Actually build with in-tree GMP on DarwinDario Bertini2018-11-221-3/+1
* testsuite: Save performance metrics in git notes.David Eichmann2018-11-071-2/+41
* Revert "CircleCI: Build DWARF-enabled Linux bindists"Ben Gamari2018-11-071-23/+0
* CircleCI: Build DWARF-enabled Linux bindistsBen Gamari2018-11-071-0/+23
* 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-081-10/+11
* 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
* 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-051-8/+8
* 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
* Add a job running on Fedoramrkkrp2018-03-261-0/+19
* Add a build with 32bit Ubuntu containermrkkrp2018-03-191-0/+24
* Use docker images with non-root usermrkkrp2018-03-071-25/+6
* 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
* Darwin: Set deployment targetBen Gamari2017-11-291-0/+4
* CircleCI: Reenable artifact collection on DarwinBen Gamari2017-11-241-3/+2
* circleci: Build with HadrianBen Gamari2017-11-231-0/+29
* CircleCI: Try validating LLVM as wellBen Gamari2017-11-231-1/+43
* CircleCI: Perform nightly validation of unregisterised buildBen Gamari2017-11-231-0/+31
* CircleCI: Add webhook for Harbormaster buildsBen Gamari2017-11-211-0/+4
* CircleCI: Disable artifact collection on OS XBen Gamari2017-11-211-2/+3
* circleci: Bump down thread countBen Gamari2017-11-111-1/+1
View Lorry Controller Status