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

feature: more user events #313

Merged
merged 1 commit into from
Oct 1, 2024
Merged

feature: more user events #313

merged 1 commit into from
Oct 1, 2024

Conversation

geclos
Copy link
Collaborator

@geclos geclos commented Sep 30, 2024

#182

In a later PR I will address the problem of side effects in transactions not respecting transaction commits.

@geclos geclos force-pushed the feature/more_user_events branch 5 times, most recently from 47a2c7c to 1b97460 Compare October 1, 2024 06:49
csansoon
csansoon previously approved these changes Oct 1, 2024
@geclos geclos force-pushed the feature/more_user_events branch 13 times, most recently from 43d3c5c to e0fcb36 Compare October 1, 2024 11:50
@geclos geclos force-pushed the feature/more_user_events branch from e0fcb36 to ef79ef5 Compare October 1, 2024 12:02
@geclos geclos merged commit 7e73cca into main Oct 1, 2024
4 checks passed
@geclos geclos deleted the feature/more_user_events branch October 1, 2024 13:08
@github-actions github-actions bot locked and limited conversation to collaborators Oct 1, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants