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

chore: Update OPA jll dependency #11

Merged
merged 1 commit into from
Jan 29, 2024
Merged

chore: Update OPA jll dependency #11

merged 1 commit into from
Jan 29, 2024

Commits on Jan 29, 2024

  1. chore: Update OPA jll dependency 

    Update OPA jll dependency to 0.61.
Minor change (new option) to the CLI because of that.
    @tanmaykm
    tanmaykm committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    2237083 View commit details
    Browse the repository at this point in the history