improve generic polynomial coverage

[GiacomoPope]

No description provided.

[GiacomoPope]

yes, thank you for catching that

[GiacomoPope]

Target branch is out-of-sync. Rebase this PR to fix. See Details for more.

This in the CLI doesnt seem that useful. Is there a way to work around this @tomato42 ?

[tomato42]

when do you see this error?

make sure that your local main and the github main match, double check that the improve_generic_polynomial_coverage are the same (I like to use gitk --all for that) and if that still doesn't make it clear: do what it suggests: rebase the branch on top of main:

git checkout improve_generic_polynomial_coverage
git rebase main