Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

First attempt at CircleCI config #1087

Merged
merged 20 commits into from Feb 22, 2017
Merged

First attempt at CircleCI config #1087

merged 20 commits into from Feb 22, 2017

Commits on Feb 22, 2017

  1. First attempt at CircleCI config

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    cd8a7f2 View commit details
    Browse the repository at this point in the history

  2. Empty commit to trigger CircleCI

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    595db2a View commit details
    Browse the repository at this point in the history

  3. Modify shell profile

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    206659f View commit details
    Browse the repository at this point in the history

  4. Cache ~/.opam

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    e51fb17 View commit details
    Browse the repository at this point in the history

  5. Remove pre section

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    dc1842a View commit details
    Browse the repository at this point in the history

  6. Move dep install to dependencies section

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    01564dd View commit details
    Browse the repository at this point in the history

  7. Try again

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    1fc623f View commit details
    Browse the repository at this point in the history

  8. Try pre instead of override

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    9433bc0 View commit details
    Browse the repository at this point in the history

  9. Override; no pre

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    b38b06a View commit details
    Browse the repository at this point in the history

  10. PATH-prefix

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    9af57ce View commit details
    Browse the repository at this point in the history

  11. Add cache back

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    9539c79 View commit details
    Browse the repository at this point in the history

  12. Specify bashrc

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    d9120db View commit details
    Browse the repository at this point in the history

  13. Cache apt packages too

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    68e8648 View commit details
    Browse the repository at this point in the history

  14. Add partial dir

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    1959389 View commit details
    Browse the repository at this point in the history

  15. Add sudo to commands

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    451b7c6 View commit details
    Browse the repository at this point in the history

  16. Remove comments

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    25178db View commit details
    Browse the repository at this point in the history

  17. Remove aptcache directives

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    5051c2d View commit details
    Browse the repository at this point in the history

  18. Test with multiple versinos (pls pray it works)

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    c457c4c View commit details
    Browse the repository at this point in the history

  19. Remove multi-version until future

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    20ebba4 View commit details
    Browse the repository at this point in the history

  20. Add back apt cache setup with comments

    @tekknolagi
    tekknolagi committed Feb 22, 2017
    Copy the full SHA
    8f5929f View commit details
    Browse the repository at this point in the history