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

cleanup: reduce boilerplate to merge local predicates #40

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

cleanup: reduce boilerplate to merge local predicates #40

wants to merge 2 commits into from

Commits on Jul 17, 2024

  1. cleanup: reduce boilerplate to merge local predicates

    @TWal
    TWal committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    75d266a View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. remove old workaround and add a cleaner one

    @TWal
    TWal committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    19f951b View commit details
    Browse the repository at this point in the history