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

Export capi #95

Merged
merged 12 commits into from
Nov 22, 2023
Merged

Export capi #95

merged 12 commits into from
Nov 22, 2023

Conversation

jschueller
Copy link
Member

No description provided.

@jschueller jschueller force-pushed the export_capi branch 4 times, most recently from caf73b8 to 6ed3d8c Compare September 29, 2023 07:00
@jschueller jschueller force-pushed the export_capi branch 13 times, most recently from 534ef1a to b765f0a Compare November 6, 2023 16:13
@jschueller jschueller force-pushed the export_capi branch 3 times, most recently from 93a1a6c to 30c9683 Compare November 17, 2023 17:21
@jschueller jschueller force-pushed the export_capi branch 2 times, most recently from e17ea1c to 8b65817 Compare November 20, 2023 07:46
@jschueller jschueller force-pushed the export_capi branch 4 times, most recently from a1b5340 to 32704c7 Compare November 21, 2023 17:17
@jschueller jschueller marked this pull request as ready for review November 22, 2023 11:52
@jschueller jschueller merged commit f01ec73 into openturns:master Nov 22, 2023
4 checks passed
@jschueller jschueller deleted the export_capi branch November 22, 2023 11:52
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.

1 participant