Skip to content

Actions: sagemath/sage

Static check with Pyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6,650 workflow runs
6,650 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

basic interface to Risa/Asir
Static check with Pyright #6952: Pull request #38596 synchronize by fchapoton
March 3, 2025 16:49 3h 1m 7s fchapoton:asir_interface
March 3, 2025 16:49 3h 1m 7s
Lazy species
Static check with Pyright #6951: Pull request #38544 synchronize by mantepse
March 3, 2025 16:44 2h 55m 48s mantepse:lazy-species
March 3, 2025 16:44 2h 55m 48s
Implement # sage.doctest: flaky marker
Static check with Pyright #6950: Pull request #39539 synchronize by user202729
March 3, 2025 16:07 3h 2m 31s user202729:flaky-file
March 3, 2025 16:07 3h 2m 31s
Implement minpoly() for approximate values
Static check with Pyright #6949: Pull request #39017 synchronize by user202729
March 3, 2025 16:06 2h 57m 43s user202729:minpoly-approximate
March 3, 2025 16:06 2h 57m 43s
Implement correct iteration through disjoint enumerated set for infinite set
Static check with Pyright #6948: Pull request #39443 synchronize by user202729
March 3, 2025 16:02 2h 28m 54s user202729:union-enumerate-inf
March 3, 2025 16:02 2h 28m 54s
Add test for github format of doctest report
Static check with Pyright #6947: Pull request #39512 synchronize by user202729
March 3, 2025 16:01 1h 3m 51s user202729:test-github-annotation
March 3, 2025 16:01 1h 3m 51s
Simplify implementation of solve()
Static check with Pyright #6946: Pull request #39586 synchronize by user202729
March 3, 2025 16:01 1h 2m 41s user202729:simplify-solve
March 3, 2025 16:01 1h 2m 41s
Refactor O = add_bigoh
Static check with Pyright #6945: Pull request #39437 synchronize by user202729
March 3, 2025 16:01 54m 19s user202729:refactor-big-oh-2
March 3, 2025 16:01 54m 19s
Refactor O() and fix O() for lazy power series ring
Static check with Pyright #6944: Pull request #39436 synchronize by user202729
March 3, 2025 16:01 31m 49s user202729:refactor-big-oh
March 3, 2025 16:01 31m 49s
Implement iteration over some polynomial rings
Static check with Pyright #6943: Pull request #39399 synchronize by user202729
March 3, 2025 16:01 26m 46s user202729:polynomial-ring-iter
March 3, 2025 16:01 26m 46s
Implement inverse of unit polynomials modulo prime power
Static check with Pyright #6942: Pull request #39401 synchronize by user202729
March 3, 2025 16:01 2h 24m 13s user202729:poly-mod-primepower-inverse
March 3, 2025 16:01 2h 24m 13s
Implement iteration over more polynomial rings
Static check with Pyright #6940: Pull request #39446 synchronize by user202729
March 3, 2025 16:01 2h 18m 44s user202729:more-polynomial-ring-iter
March 3, 2025 16:01 2h 18m 44s
Test pip editable install with meson
Static check with Pyright #6939: Pull request #39369 synchronize by user202729
March 3, 2025 16:01 2h 13m 13s user202729:meson-try-editable
March 3, 2025 16:01 2h 13m 13s
Mention .coerce() method in coercion tour
Static check with Pyright #6938: Pull request #39069 synchronize by user202729
March 3, 2025 16:01 2h 6m 58s user202729:mention-coerce-method
March 3, 2025 16:01 2h 6m 58s