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.

Sign up for GitHub

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

Jump to bottom

improved check for all assigned #501

Merged

ahmed-irfan merged 1 commit into master from mcsat-array-improved-call

Mar 27, 2024

Contributor

ahmed-irfan commented Mar 27, 2024

No description provided.


          improved check for all assigned

8d817fd

ahmed-irfan self-assigned this

coveralls commented Mar 27, 2024

coverage: 65.605% (-0.001%) from 65.606%
when pulling 8d817fd on mcsat-array-improved-call
into eb840af on master.

ahmed-irfan merged commit 17369e6 into master

24 of 26 checks passed

ahmed-irfan deleted the mcsat-array-improved-call branch

March 27, 2024 07:24

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment