Skip to content

Added more differential tests - #51

Merged
habedi merged 7 commits into
mainfrom
develop
Aug 2, 2026
Merged

Added more differential tests#51
habedi merged 7 commits into
mainfrom
develop

Conversation

@habedi

@habedi habedi commented Aug 2, 2026

Copy link
Copy Markdown
Member
  • Fixed a few bugs.
  • Added more (differential) tests for built-in procedures and functions.
  • Fixed a few problems with the playground app.
  • Added a new badge for GHCR to the main README.md.

@habedi habedi self-assigned this Aug 2, 2026
@habedi habedi added bug Something isn't working documentation Improvements or additions to documentation enhancement New feature or request labels Aug 2, 2026
@codecov

codecov Bot commented Aug 2, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@habedi habedi changed the title The base commit Added more differential tests Aug 2, 2026
@habedi
habedi merged commit b03c906 into main Aug 2, 2026
11 checks passed
@habedi
habedi deleted the develop branch August 2, 2026 12:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant