Skip to content

Actions: flintlib/flint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,034 workflow runs
2,034 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wrap releases Wrap releases #1874: Scheduled
6m 34s main
main
6m 34s
Add fast sparse 4-term special case in bpoly factorization CI #4064: Pull request #2621 synchronize by BhuvaneshBhatt
24m 37s BhuvaneshBhatt:fix-bpoly-sparse-4term-factor
BhuvaneshBhatt:fix-bpoly-sparse-4term-factor
24m 37s
Merge pull request #2622 from alexey-orlov-math/qadic2-sqrt-precompute CI on push #553: Commit fe1d6c6 pushed by fredrik-johansson
24m 12s main
main
24m 12s
Merge pull request #2622 from alexey-orlov-math/qadic2-sqrt-precompute Documentation #665: Commit fe1d6c6 pushed by fredrik-johansson
16m 45s main
main
16m 45s
Merge pull request #2622 from alexey-orlov-math/qadic2-sqrt-precompute CI #4063: Commit fe1d6c6 pushed by fredrik-johansson
30m 58s main
main
30m 58s
Merge pull request #2623 from fredrik-johansson/noncom CI #4062: Commit 8db49c9 pushed by fredrik-johansson
18m 20s main
main
18m 20s
Merge pull request #2623 from fredrik-johansson/noncom CI on push #552: Commit 8db49c9 pushed by fredrik-johansson
21m 15s main
main
21m 15s
Merge pull request #2623 from fredrik-johansson/noncom Documentation #664: Commit 8db49c9 pushed by fredrik-johansson
15m 7s main
main
15m 7s
Improve support for generic noncommutative rings Documentation #663: Pull request #2623 opened by fredrik-johansson
6m 45s fredrik-johansson:noncom
fredrik-johansson:noncom
6m 45s
Improve support for generic noncommutative rings CI #4061: Pull request #2623 opened by fredrik-johansson
31m 26s fredrik-johansson:noncom
fredrik-johansson:noncom
31m 26s
added precomputation of Artin-Schreier LUP decomposition for qadic char 2 sqrt Documentation #662: Pull request #2622 synchronize by alexey-orlov-math
8m 50s alexey-orlov-math:qadic2-sqrt-precompute
alexey-orlov-math:qadic2-sqrt-precompute
8m 50s
added precomputation of Artin-Schreier LUP decomposition for qadic char 2 sqrt CI #4060: Pull request #2622 synchronize by alexey-orlov-math
30m 51s alexey-orlov-math:qadic2-sqrt-precompute
alexey-orlov-math:qadic2-sqrt-precompute
30m 51s
added precomputation of Artin-Schreier LUP decomposition for qadic char 2 sqrt Documentation #661: Pull request #2622 synchronize by alexey-orlov-math
5m 58s alexey-orlov-math:qadic2-sqrt-precompute
alexey-orlov-math:qadic2-sqrt-precompute
5m 58s
added precomputation of Artin-Schreier LUP decomposition for qadic char 2 sqrt CI #4059: Pull request #2622 synchronize by alexey-orlov-math
5m 52s alexey-orlov-math:qadic2-sqrt-precompute
alexey-orlov-math:qadic2-sqrt-precompute
5m 52s
added precomputation of Artin-Schreier LUP decomposition for qadic char 2 sqrt CI #4058: Pull request #2622 opened by alexey-orlov-math
9m 31s alexey-orlov-math:qadic2-sqrt-precompute
alexey-orlov-math:qadic2-sqrt-precompute
9m 31s
Wrap releases Wrap releases #1873: Scheduled
6m 42s main
main
6m 42s
Add fast sparse 4-term special case in bpoly factorization CI #4057: Pull request #2621 opened by BhuvaneshBhatt
30m 6s BhuvaneshBhatt:fix-bpoly-sparse-4term-factor
BhuvaneshBhatt:fix-bpoly-sparse-4term-factor
30m 6s
Merge pull request #2620 from fredrik-johansson/mulmid4 CI #4056: Commit 917b9c2 pushed by fredrik-johansson
25m 42s main
main
25m 42s
Merge pull request #2620 from fredrik-johansson/mulmid4 Documentation #660: Commit 917b9c2 pushed by fredrik-johansson
41m 47s main
main
41m 47s
Merge pull request #2620 from fredrik-johansson/mulmid4 CI on push #551: Commit 917b9c2 pushed by fredrik-johansson
20m 52s main
main
20m 52s
Middle products and test code for arf, acf Documentation #659: Pull request #2620 opened by fredrik-johansson
6m 2s fredrik-johansson:mulmid4
fredrik-johansson:mulmid4
6m 2s
Middle products and test code for arf, acf CI #4055: Pull request #2620 opened by fredrik-johansson
30m 12s fredrik-johansson:mulmid4
fredrik-johansson:mulmid4
30m 12s
Wrap releases Wrap releases #1872: Scheduled
6m 23s main
main
6m 23s
Add generic Ore polynomial module Documentation #658: Pull request #2299 synchronize by rburing
7m 29s rburing:gr_ore_poly
rburing:gr_ore_poly
7m 29s
Add generic Ore polynomial module CI #4054: Pull request #2299 synchronize by rburing
29m 1s rburing:gr_ore_poly
rburing:gr_ore_poly
29m 1s