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

Early merger for the transpilation task and update README #264

Merged
merged 10 commits into from
Jul 12, 2024

Conversation

ruiAzevedo19
Copy link
Collaborator

No description provided.

@ruiAzevedo19 ruiAzevedo19 added documentation Improvements or additions to documentation enhancement New feature or request labels Jul 12, 2024
@ruiAzevedo19 ruiAzevedo19 added this to the v0.6.0 milestone Jul 12, 2024
@ruiAzevedo19 ruiAzevedo19 self-assigned this Jul 12, 2024
@ruiAzevedo19 ruiAzevedo19 requested a review from bauersimon July 12, 2024 09:49
@ruiAzevedo19 ruiAzevedo19 changed the title Early merger for the transpilation task and add update README Early merger for the transpilation task and update README Jul 12, 2024
@bauersimon bauersimon enabled auto-merge July 12, 2024 09:58
@bauersimon bauersimon merged commit 2700646 into main Jul 12, 2024
5 checks passed
@bauersimon bauersimon deleted the 201-early-merger branch July 12, 2024 10:04
@bauersimon bauersimon mentioned this pull request Jul 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants