Skip to content
This repository has been archived by the owner on Jun 4, 2024. It is now read-only.

Pretty #5

Merged
merged 4 commits into from
Jan 13, 2024
Merged

Pretty #5

merged 4 commits into from
Jan 13, 2024

Commits on Jan 13, 2024

  1. change pretty printer libs

    martyall committed Jan 13, 2024
    Configuration menu
    Copy the full SHA
    e866c9b View commit details
    Browse the repository at this point in the history
  2. remove old pp dep

    martyall committed Jan 13, 2024
    Configuration menu
    Copy the full SHA
    e8caf6a View commit details
    Browse the repository at this point in the history
  3. ormolu

    martyall committed Jan 13, 2024
    Configuration menu
    Copy the full SHA
    f30d9b7 View commit details
    Browse the repository at this point in the history
  4. upgrade workflows

    martyall committed Jan 13, 2024
    Configuration menu
    Copy the full SHA
    d1d2106 View commit details
    Browse the repository at this point in the history