Skip to content

Actions: qfall/math

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
395 workflow runs
395 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Broadly implement get_representative_least_absolute_residue Pipeline #1877: Pull request #531 opened by jnsiemer
15m 41s get_least_abs_residue
get_least_abs_residue
15m 41s
Implement get_representative_least_absolute_residue for other Zq types Pipeline #2131: Commit 1ea26bb pushed by jnsiemer
9m 29s get_least_abs_residue
get_least_abs_residue
9m 29s
Merge pull request #528 from qfall/hamming_weight Pipeline #1876: Commit e71d8d7 pushed by jnsiemer
16m 19s dev
dev
16m 19s
Add Hamming weight Pipeline #1875: Pull request #528 synchronize by jnsiemer
15m 13s hamming_weight
hamming_weight
15m 13s
Update doc comments Pipeline #2130: Commit d11551b pushed by jnsiemer
2m 13s hamming_weight
hamming_weight
2m 13s
Update to FLINT 3 Pipeline #1874: Pull request #530 opened by jnsiemer
13m 22s flint3
flint3
13m 22s
Update to new flint-sys memory requirements Pipeline #2129: Commit 34d3af6 pushed by jnsiemer
7m 35s flint3
flint3
7m 35s
Upgrade to FLINT 3.5, memory bugs remain Pipeline #2128: Commit 2afb0dc pushed by jnsiemer
5m 32s flint3
flint3
5m 32s
Add Modulo centered around 0 Pipeline #1873: Pull request #529 opened by jnsiemer
15m 6s mod_pm
mod_pm
15m 6s
Add mod_pm for modulo datatypes Pipeline #2127: Commit 5c10142 pushed by jnsiemer
9m 9s mod_pm
mod_pm
9m 9s
Add Hamming weight Pipeline #1872: Pull request #528 opened by jnsiemer
15m 37s hamming_weight
hamming_weight
15m 37s
Add hamming weight for rationals Pipeline #2126: Commit 26e73eb pushed by jnsiemer
9m 13s hamming_weight
hamming_weight
9m 13s
Merge pull request #527 from qfall/avoid_zip_issues Pipeline #1871: Commit 8838844 pushed by jnsiemer
15m 45s dev
dev
15m 45s
Avoid zip issues Pipeline #1870: Pull request #527 opened by jnsiemer
15m 26s avoid_zip_issues
avoid_zip_issues
15m 26s
Use full name of this guy Pipeline #2125: Commit 212ea0e pushed by jnsiemer
9m 28s avoid_zip_issues
avoid_zip_issues
9m 28s
Remove copyright signs Pipeline #2124: Commit d4f5766 pushed by jnsiemer
9m 20s avoid_zip_issues
avoid_zip_issues
9m 20s
Merge pull request #526 from qfall/adapt_to_rand_changes Pipeline #34: Commit 0541a9b pushed by jnsiemer
16m 57s main
main
16m 57s
Merge pull request #526 from qfall/adapt_to_rand_changes Pipeline #1869: Commit 0541a9b pushed by jnsiemer
16m 30s dev
dev
16m 30s
Update according to breaking changes in rand-crate Pipeline #1868: Pull request #526 opened by jnsiemer
16m 5s adapt_to_rand_changes
adapt_to_rand_changes
16m 5s
Update according to breaking changes in rand-crate Pipeline #2123: Commit 99b0968 pushed by jnsiemer
9m 31s adapt_to_rand_changes
adapt_to_rand_changes
9m 31s
update build badge Pipeline #33: Commit b15cdb0 pushed by jnsiemer
16m 2s main
main
16m 2s
update build badge Pipeline #1867: Commit b15cdb0 pushed by jnsiemer
15m 27s dev
dev
15m 27s
Merge pull request #519 from qfall/finalise Pipeline #32: Commit bc75c66 pushed by jnsiemer
15m 56s main
main
15m 56s
Merge pull request #519 from qfall/finalise Pipeline #1866: Commit bc75c66 pushed by LPorzenheim
15m 18s dev
dev
15m 18s
Merge pull request #524 from qfall/remove-fq-ctx-object Pipeline #1865: Commit 86af22b pushed by LPorzenheim
15m 8s dev
dev
15m 8s