Skip to content
This repository has been archived by the owner on Oct 2, 2023. It is now read-only.

upgrade to 3 #85

Merged
merged 1 commit into from
Jul 25, 2023
Merged

upgrade to 3 #85

merged 1 commit into from
Jul 25, 2023

Conversation

asiniscalchi
Copy link
Member

No description provided.

@asiniscalchi asiniscalchi marked this pull request as ready for review July 25, 2023 08:49
@asiniscalchi asiniscalchi merged commit 6e4797f into dev Jul 25, 2023
4 checks passed
@asiniscalchi asiniscalchi deleted the feature/runtime_to_3 branch July 25, 2023 08:53
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.

1 participant