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

New nix infrastructure #87

Closed
wants to merge 17 commits into from
Closed

New nix infrastructure #87

wants to merge 17 commits into from

Commits on Mar 12, 2021

  1. New nix infrastructure 

    - documenting the config file
- entries in ref.yml
    @CohenCyril
    CohenCyril committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    de40727 View commit details
    Browse the repository at this point in the history

  2. use shortname if nix_name is not here

    @CohenCyril
    CohenCyril committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    43c056b View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2021

  1. Address Théo's comments

    @CohenCyril
    CohenCyril committed Mar 14, 2021
    Configuration menu
    Copy the full SHA
    d5d0f56 View commit details
    Browse the repository at this point in the history

  2. rename nix-ci to nix-jobs

    @CohenCyril
    CohenCyril committed Mar 14, 2021
    Configuration menu
    Copy the full SHA
    ed69702 View commit details
    Browse the repository at this point in the history

  3. Adding task configuration in meta.yml

    @CohenCyril
    CohenCyril committed Mar 14, 2021
    Configuration menu
    Copy the full SHA
    a0a1c58 View commit details
    Browse the repository at this point in the history

  4. Pinning to a fixed rev unless nix-default: ... is used

    @CohenCyril
    CohenCyril committed Mar 14, 2021
    Configuration menu
    Copy the full SHA
    bf8880e View commit details
    Browse the repository at this point in the history

  5. No need for a setup if the tasks are in meta.yml

    @CohenCyril
    CohenCyril committed Mar 14, 2021
    Configuration menu
    Copy the full SHA
    41809c0 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2021

  1. Update fallback-config.nix.mustache 

    Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
    @CohenCyril @Zimmi48
    CohenCyril and Zimmi48 authored Mar 16, 2021
    Configuration menu
    Copy the full SHA
    e4472e4 View commit details
    Browse the repository at this point in the history

  2. Update fallback-config.nix.mustache 

    Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
    @CohenCyril @Zimmi48
    CohenCyril and Zimmi48 authored Mar 16, 2021
    Configuration menu
    Copy the full SHA
    2118e49 View commit details
    Browse the repository at this point in the history

  3. update wrt last coq-nix-toolbox update

    @CohenCyril
    CohenCyril committed Mar 16, 2021
    Configuration menu
    Copy the full SHA
    c522ba2 View commit details
    Browse the repository at this point in the history

  4. fixup

    @CohenCyril
    CohenCyril committed Mar 16, 2021
    Configuration menu
    Copy the full SHA
    ed29235 View commit details
    Browse the repository at this point in the history

  5. fix overflowing line

    @CohenCyril
    CohenCyril committed Mar 16, 2021
    Configuration menu
    Copy the full SHA
    2a76ba3 View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2021

  1. Renamings

    @CohenCyril
    CohenCyril committed Mar 17, 2021
    Configuration menu
    Copy the full SHA
    37b1f71 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2021

  1. Apply suggestions from code review

    @CohenCyril
    CohenCyril authored Apr 1, 2021
    Configuration menu
    Copy the full SHA
    a382fd3 View commit details
    Browse the repository at this point in the history

  2. renaming task to bundle

    @CohenCyril
    CohenCyril committed Apr 1, 2021
    Configuration menu
    Copy the full SHA
    9a40590 View commit details
    Browse the repository at this point in the history

  3. line breaks

    @CohenCyril
    CohenCyril committed Apr 1, 2021
    Configuration menu
    Copy the full SHA
    a367df9 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2021

  1. Apply suggestions from code review 

    Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
    @CohenCyril @Zimmi48
    CohenCyril and Zimmi48 authored Jul 1, 2021
    Configuration menu
    Copy the full SHA
    42153a6 View commit details
    Browse the repository at this point in the history