Skip to content

Comments

Wrapper block for FESTIM wall#194

Merged
RemDelaporteMathurin merged 1 commit intomainfrom
festim-wrapper
Nov 6, 2025
Merged

Wrapper block for FESTIM wall#194
RemDelaporteMathurin merged 1 commit intomainfrom
festim-wrapper

Conversation

@RemDelaporteMathurin
Copy link
Collaborator

No description provided.

@RemDelaporteMathurin RemDelaporteMathurin merged commit 359c6b9 into main Nov 6, 2025
3 checks passed
@RemDelaporteMathurin RemDelaporteMathurin deleted the festim-wrapper branch November 6, 2025 19:51
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