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.

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

Incorporate #2 and other improvements #4

Merged
merged 18 commits into from
Apr 10, 2024
Merged

Commits on Apr 6, 2024

  1. Configuration menu
    Copy the full SHA
    e7e9922 View commit details
    Browse the repository at this point in the history
  2. Make ids overloading better

    grahamc committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    a6b8f39 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2024

  1. Configuration menu
    Copy the full SHA
    5dfc5fd View commit details
    Browse the repository at this point in the history
  2. Add editorconfig

    lucperkins authored and grahamc committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    3100b20 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    1abd0d8 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    6c1ace3 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    45d4fb4 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    136d564 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    5f48e30 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    520e2d8 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    2809ad2 View commit details
    Browse the repository at this point in the history
  10. Use Nix in CI

    lucperkins authored and grahamc committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    05679ac View commit details
    Browse the repository at this point in the history
  11. Don't use priv cache action

    lucperkins authored and grahamc committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    3cbaf45 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    01e6e46 View commit details
    Browse the repository at this point in the history
  13. Nits

    grahamc committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    1617922 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    4a85d1e View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    5959052 View commit details
    Browse the repository at this point in the history
  16. dist

    grahamc committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    ab9eb52 View commit details
    Browse the repository at this point in the history