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

Prepare for Agda 2.6.3 #948

Merged
merged 24 commits into from
Feb 1, 2023
Merged

Prepare for Agda 2.6.3 #948

merged 24 commits into from
Feb 1, 2023

Commits on Jan 14, 2023

  1. [ re agda/#1625 ] Rename --experimental-lossy-unification -> --lossy-… 

    …unification
    @jespercockx @felixwellen
    jespercockx authored and felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    3527719 View commit details
    Browse the repository at this point in the history

  2. use agda master for ci, to make errors visible

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    f416be4 View commit details
    Browse the repository at this point in the history

  3. set to release candidate

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    89086f0 View commit details
    Browse the repository at this point in the history

  4. rename (lossy-unification)

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    219ca8c View commit details
    Browse the repository at this point in the history

  5. deactivate whitespace check for now

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    0ba8980 View commit details
    Browse the repository at this point in the history

  6. Revert "deactivate whitespace check for now" 

    This reverts commit c00c032.
    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    a3d1b12 View commit details
    Browse the repository at this point in the history

  7. exclude agda from whitespace check

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    7254c3b View commit details
    Browse the repository at this point in the history

  8. fix whitespace in fix-whitespace.yaml...

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    f35c3ad View commit details
    Browse the repository at this point in the history

  9. inc/inS

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    577fc15 View commit details
    Browse the repository at this point in the history

  10. remove obsolete 'hiding'

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    2a4f613 View commit details
    Browse the repository at this point in the history

  11. allow unsupported index match

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    790e202 View commit details
    Browse the repository at this point in the history

  12. fix (#953) 

    Co-authored-by: Axel Ljungström <axlj4439@r11f.math.su.se>
    @aljungstrom @felixwellen
    2 people authored and felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    7d9dfc1 View commit details
    Browse the repository at this point in the history

  13. better comment

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    0270cb6 View commit details
    Browse the repository at this point in the history

  14. allow manually triggering the nix workflow

    @MatthiasHu @felixwellen
    MatthiasHu authored and felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    2ce4280 View commit details
    Browse the repository at this point in the history

  15. added agda-2.6.3 in flakes

    @guilhermehas @felixwellen
    guilhermehas authored and felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    ede5172 View commit details
    Browse the repository at this point in the history

  16. run when this script is changed 

    maybe just to see what happens...
    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    bac45de View commit details
    Browse the repository at this point in the history

  17. nixpkgs using follows

    @guilhermehas @felixwellen
    guilhermehas authored and felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    1e19020 View commit details
    Browse the repository at this point in the history

  18. Merge pull request #959 from guilhermehas/nix-agda-2.6.3 

    Added agda-2.6.3 in flakes
    @MatthiasHu @felixwellen
    MatthiasHu authored and felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    6269adc View commit details
    Browse the repository at this point in the history

  19. Merge pull request #961 from guilhermehas/nix-agda-2.6.3 

    Nixpkgs of Agda using following another nixpkgs
    @MatthiasHu @felixwellen
    MatthiasHu authored and felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    ff9f6a4 View commit details
    Browse the repository at this point in the history

  20. follow recommendation in the change log (of agda)

    @felixwellen
    felixwellen committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    ef9d222 View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2023

  1. Merge branch 'master' into fcherubini/issue1625-rename-flag

    @jespercockx
    jespercockx committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    e046f8e View commit details
    Browse the repository at this point in the history

  2. [ re #6368 ] Remove some more instances that are no longer needed

    @jespercockx
    jespercockx committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    a809fd9 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2023

  1. point ci to released version of agda

    @felixwellen
    felixwellen committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    89bd55c View commit details
    Browse the repository at this point in the history

  2. point nix flake to agda v2.6.3

    @felixwellen
    felixwellen committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    0af7f1b View commit details
    Browse the repository at this point in the history