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 versions to 0.0.8, tweak release script. #79

Merged
merged 5 commits into from
Oct 17, 2023
Merged

Update versions to 0.0.8, tweak release script. #79

merged 5 commits into from
Oct 17, 2023

Commits on Aug 8, 2023

  1. add bzlmod stuff to dist

    @aiuto
    aiuto committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    92b7eae View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. Merge branch 'main' into dist

    @aiuto
    aiuto committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    1c720ec View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2023

  1. Merge branch 'main' into dist

    @aiuto
    aiuto committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    7b02b99 View commit details
    Browse the repository at this point in the history

  2. get ready for version 0.0.8

    @aiuto
    aiuto committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    0f69aee View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2023

  1. fix typo in license dep

    @aiuto
    aiuto committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    9803e20 View commit details
    Browse the repository at this point in the history