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

fix subblock enumeration #1408

Merged

felixrindt merged 1 commit into main from fix-subblock-enumeration

Oct 26, 2024

Member

felixrindt commented Oct 26, 2024

No description provided.


          fix subblock enumeration

398087d

felixrindt added the [C] bug label

felixrindt enabled auto-merge (rebase)

October 26, 2024 12:38

felixrindt merged commit ed15af2 into main

14 checks passed

felixrindt deleted the fix-subblock-enumeration branch

October 26, 2024 12:42

coveralls commented Oct 26, 2024

coverage: 85.24% (+0.002%) from 85.238%
when pulling 398087d on fix-subblock-enumeration
into 23ae6d0 on main.

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

Labels

[C] bug