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

remove gen extensions #2722

Closed
wants to merge 1 commit into from
Closed

Conversation

MauricioUyaguari
Copy link
Member

What type of PR is this?

What does this PR do / why is it needed ?

Which issue(s) this PR fixes:

Fixes #

Other notes for reviewers:

Does this PR introduce a user-facing change?

Copy link

github-actions bot commented Mar 22, 2024

Test Results

   475 files   -    282     475 suites   - 282   22m 47s ⏱️ - 44m 41s
7 501 tests  - 5 015  7 400 ✔️  - 4 883    95 💤  - 138  3 +3  3 🔥 +3 
9 704 runs   - 5 923  9 597 ✔️  - 5 779  101 💤  - 150  3 +3  3 🔥 +3 

For more details on these failures and errors, see this check.

Results for commit ddd7635. ± Comparison against base commit c1162b1.

♻️ This comment has been updated with latest results.

@finos-admin
Copy link
Member

This PR is stale because it has been open for 30 days with no activity. Please remove stale label or add any comment to keep this open. Otherwise this will be closed in 5 days.

@finos-admin
Copy link
Member

This PR was closed because it has been inactive for 35 days. Please re-open if this PR is still relevant.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants