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

Feat/deep merge #17

Merged

RockiRider merged 2 commits into main from feat/deep-merge

Aug 1, 2024

Owner

RockiRider commented Aug 1, 2024

Deep Merge

Key Changes

Deep merge for policies
Updated CI to use pnpm instead of npm
Updated CI to run tests before release

Approach

Checklist

Tests
Documentation

RockiRider added 2 commits

August 1, 2024 20:13


          finish policy merging and tests

91ef5c8


          workflow updates

3c0dc0a

RockiRider merged commit 5e7e080 into main

1 check passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet