Skip to content

Additional CI tests from hyperform, fmft and mzv-dm#827

Open
jodavies wants to merge 6 commits into
form-dev:masterfrom
jodavies:check-hyperform
Open

Additional CI tests from hyperform, fmft and mzv-dm#827
jodavies wants to merge 6 commits into
form-dev:masterfrom
jodavies:check-hyperform

Conversation

@jodavies
Copy link
Copy Markdown
Collaborator

These commits add some more tests to the CI, from the hyperform and fmft packages. Particularly due to the valgrind tests, this slows the CI down substantially, mostly because a lot of the slow tests come in the same "group" (forcer, fmft, and the slowest of the hyperform tests).

Some of the hyperform tests are manually excluded when running without flint, since their results rely on the sign convention of gcd_ when flint is enabled.

@coveralls
Copy link
Copy Markdown

coveralls commented May 11, 2026

Coverage Status

coverage: 62.717% (+1.3%) from 61.448% — jodavies:check-hyperform into form-dev:master

Comment thread .github/actions/setup-build/action.yml Outdated
Comment thread .github/actions/setup-build/action.yml Outdated
@jodavies jodavies force-pushed the check-hyperform branch 2 times, most recently from bfefbe9 to 00ebe52 Compare May 19, 2026 10:27
@jodavies jodavies changed the title Additional CI tests from hyperform and fmft Additional CI tests from hyperform, fmft and mzv-dm May 19, 2026
@tueda
Copy link
Copy Markdown
Collaborator

tueda commented May 19, 2026

Other missing files are:

.diagrams_cache/*.dat
diagrams.frm
diagrams/diagrams.h
polynomial.frm

which can be in a separate PR if you prefer.

@jodavies
Copy link
Copy Markdown
Collaborator Author

Ah, oops, I will add them in to the last of these commits

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants