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

fix formula types and add tarantula #243

Merged
merged 5 commits into from
Feb 22, 2024

Conversation

andre15silva
Copy link
Member

related with #240 and #242

@andre15silva andre15silva changed the title fix formula types fix formula types and add tarantula May 24, 2023
This was referenced May 24, 2023
@monperrus
Copy link
Collaborator

how to complete that PR?

@andre15silva
Copy link
Member Author

We need to add tests for Tarantula

@monperrus
Copy link
Collaborator

go for it!

@andre15silva
Copy link
Member Author

Ready to merge after CI is green

@monperrus
Copy link
Collaborator

everything green except coverage. merge?

@andre15silva
Copy link
Member Author

andre15silva commented Feb 22, 2024

everything green except coverage. merge?

I'll increase coverage and merge!

@andre15silva andre15silva merged commit c9fef4f into ASSERT-KTH:master Feb 22, 2024
204 of 205 checks passed
@andre15silva andre15silva deleted the fix-types-formulas branch February 22, 2024 09:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants