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

Don't claim cubical compiles with the latest agda development version #717

Merged
merged 9 commits into from
Feb 11, 2022
Merged

Don't claim cubical compiles with the latest agda development version #717

merged 9 commits into from
Feb 11, 2022

Commits on Feb 10, 2022

  1. don't say that the library compiles with the latest development version

    @felixwellen
    felixwellen committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    b8f417a View commit details
    Browse the repository at this point in the history

  2. Do not mislead in the INSTALL-file

    @felixwellen
    felixwellen committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    dfb086a View commit details
    Browse the repository at this point in the history

  3. add a hint in the ci file, where the version of agda is picked

    @felixwellen
    felixwellen committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    cbc79fc View commit details
    Browse the repository at this point in the history

  4. just 'latest release version' instead of 'latest development version' 

    Revert "Auxiliary commit to revert individual files from b8f417a"

This reverts commit 997b31e4642329c493628a3f474b38f5ee0bac51.
    @felixwellen
    felixwellen committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    36b7cb6 View commit details
    Browse the repository at this point in the history

  5. fix INSTALL

    @felixwellen
    felixwellen committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    b4e3508 View commit details
    Browse the repository at this point in the history

  6. Revert "add a hint in the ci file, where the version of agda is picked" 

    This reverts commit cbc79fc.
    @felixwellen
    felixwellen committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    1bcc592 View commit details
    Browse the repository at this point in the history

  7. use same wording/formatting as before

    @felixwellen
    felixwellen committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    52acfec View commit details
    Browse the repository at this point in the history

  8. Update INSTALL.md 

    Co-authored-by: Anders Mörtberg <andersmortberg@gmail.com>
    @felixwellen @mortberg
    felixwellen and mortberg committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    104d02b View commit details
    Browse the repository at this point in the history

  9. Update README.md 

    Co-authored-by: Anders Mörtberg <andersmortberg@gmail.com>
    @felixwellen @mortberg
    felixwellen and mortberg committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    74a9ca2 View commit details
    Browse the repository at this point in the history