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

Update to v0.15.4 #468

Merged
merged 11 commits into from
Aug 31, 2022
Merged

Update to v0.15.4 #468

merged 11 commits into from
Aug 31, 2022

Commits on Aug 22, 2022

  1. Update to v0.15.4 

    - Removes badges since this is unmaintained, doesn't work with 9.2.3 and
there is no alternative
    @sigma-andex
    sigma-andex committed Aug 22, 2022
    Configuration menu
    Copy the full SHA
    0447d1b View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2022

  1. Update src/SearchIndex.hs 

    Co-authored-by: Justin Garcia <[email protected]>
    @sigma-andex @purefunctor
    sigma-andex and purefunctor committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    fdee091 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2022

  1. Revert removing of badges

    @sigma-andex
    sigma-andex committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    58a01a5 View commit details
    Browse the repository at this point in the history

  2. Update changelog

    @sigma-andex
    sigma-andex committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    ad536a8 View commit details
    Browse the repository at this point in the history

  3. Update stack

    @sigma-andex
    sigma-andex committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    17efd61 View commit details
    Browse the repository at this point in the history

  4. Update stack

    @sigma-andex
    sigma-andex committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    6bbb357 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2022

  1. Fix pr comments

    @sigma-andex
    sigma-andex committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    f9b5fb1 View commit details
    Browse the repository at this point in the history

  2. Cleanup stack

    @sigma-andex
    sigma-andex committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    2ac05d4 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2022

  1. Update to latest barrier commit

    @sigma-andex
    sigma-andex committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    dcfc61b View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2022

  1. Fix imports for ci pipeline

    @sigma-andex
    sigma-andex committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    484ba90 View commit details
    Browse the repository at this point in the history

  2. Fix deprecation error

    @sigma-andex
    sigma-andex committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    7fe4f15 View commit details
    Browse the repository at this point in the history