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

Add resource transition functionality #85

Merged
merged 3 commits into from
Jan 6, 2023

Conversation

matt-sheets
Copy link
Collaborator

The resourece_transition function keyword is now available for use.

@dburgener
Copy link
Owner

Please fix the typo in the commit message

@matt-sheets matt-sheets force-pushed the masheets/resource_trans branch from 120f2e1 to 5fa35f2 Compare January 3, 2023 16:38
src/internal_rep.rs Outdated Show resolved Hide resolved
src/internal_rep.rs Outdated Show resolved Hide resolved
data/error_policies/resource_trans.cas Outdated Show resolved Hide resolved
data/policies/resource_trans.cas Outdated Show resolved Hide resolved
The resource_transition function keyword is now available for use.
src/internal_rep.rs Outdated Show resolved Hide resolved
@dburgener
Copy link
Owner

This seems good. I have one cleanup comment, but it's probably not worth blocking the merge over. Can you rebase and fix the merge conflicts though?

@matt-sheets matt-sheets force-pushed the masheets/resource_trans branch from 2b89661 to 6da3063 Compare January 6, 2023 18:38
@dburgener dburgener merged commit a3d2424 into dburgener:main Jan 6, 2023
@dburgener
Copy link
Owner

Merged, thanks!

@matt-sheets matt-sheets deleted the masheets/resource_trans branch February 9, 2023 22:14
@matt-sheets matt-sheets restored the masheets/resource_trans branch February 9, 2023 22:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants