Skip to content

Actions: sagemath/sage

Static check with Pyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6,192 workflow runs
6,192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

moving random_element to category of rings
Static check with Pyright #6388: Pull request #39497 synchronize by fchapoton
February 12, 2025 20:10 7m 36s fchapoton:random_ring_cat
February 12, 2025 20:10 7m 36s
Improve handling of strings supplied as matrix entries
Static check with Pyright #6387: Pull request #39505 synchronize by DaveWitteMorris
February 12, 2025 19:46 7m 57s DaveWitteMorris:34821matrix
February 12, 2025 19:46 7m 57s
Improve handling of strings supplied as matrix entries
Static check with Pyright #6386: Pull request #39505 opened by DaveWitteMorris
February 12, 2025 18:58 7m 43s DaveWitteMorris:34821matrix
February 12, 2025 18:58 7m 43s
use Parent in quotient rings too
Static check with Pyright #6385: Pull request #37158 synchronize by mantepse
February 12, 2025 18:35 7m 53s fchapoton:use_parent_for_quotient_rings
February 12, 2025 18:35 7m 53s
moving random_element to category of rings
Static check with Pyright #6384: Pull request #39497 synchronize by fchapoton
February 12, 2025 18:04 7m 42s fchapoton:random_ring_cat
February 12, 2025 18:04 7m 42s
Implicit function solver for lazy series
Static check with Pyright #6383: Pull request #38108 synchronize by mantepse
February 12, 2025 17:56 7m 38s mantepse:lazy_series/pushout_experiment
February 12, 2025 17:56 7m 38s
Implement im_gens in the class fraction_field_FpT
Static check with Pyright #6382: Pull request #39504 opened by xcaruso
February 12, 2025 16:11 7m 46s xcaruso:im_gens_fraction_field
February 12, 2025 16:11 7m 46s
multi polynomial element/repr
Static check with Pyright #6381: Pull request #39502 synchronize by mantepse
February 12, 2025 16:06 7m 31s multi_polynomial_element/repr
February 12, 2025 16:06 7m 31s
Add deformation cones and checking for regularity for Point Configurations and normal fans of Polyhedra
Static check with Pyright #6380: Pull request #39496 synchronize by jplab
February 12, 2025 14:18 7m 34s jplab:deformation
February 12, 2025 14:18 7m 34s
infinite polynomial element/gcd
Static check with Pyright #6379: Pull request #39503 opened by mantepse
February 12, 2025 13:28 12m 2s infinite_polynomial_element/gcd
February 12, 2025 13:28 12m 2s
multi polynomial element/repr
Static check with Pyright #6378: Pull request #39502 opened by mantepse
February 12, 2025 13:17 13m 4s multi_polynomial_element/repr
February 12, 2025 13:17 13m 4s
Implicit function solver for lazy series
Static check with Pyright #6377: Pull request #38108 synchronize by mantepse
February 12, 2025 13:09 10m 57s mantepse:lazy_series/pushout_experiment
February 12, 2025 13:09 10m 57s
Witt vectors redone
Static check with Pyright #6376: Pull request #39355 synchronize by r-mb
February 12, 2025 13:05 7m 56s fchapoton:Witt_vectors_redone
February 12, 2025 13:05 7m 56s
Various small improvements to imports
Static check with Pyright #6375: Pull request #39276 synchronize by tobiasdiez
February 12, 2025 13:03 7m 41s tobiasdiez:import-fixes
February 12, 2025 13:03 7m 41s
Remove --fiximports helper
Static check with Pyright #6374: Pull request #39274 synchronize by tobiasdiez
February 12, 2025 12:58 7m 59s tobiasdiez:remove-fix-imports
February 12, 2025 12:58 7m 59s
moving random_element to category of rings
Static check with Pyright #6373: Pull request #39497 synchronize by fchapoton
February 12, 2025 12:42 7m 50s fchapoton:random_ring_cat
February 12, 2025 12:42 7m 50s
Run meson-ci for MacOS
Static check with Pyright #6372: Pull request #38879 synchronize by tobiasdiez
February 12, 2025 12:40 7m 46s tobiasdiez:meson-macos
February 12, 2025 12:40 7m 46s
Magma padics
Static check with Pyright #6371: Pull request #39449 synchronize by fchapoton
February 12, 2025 12:40 7m 34s fchapoton:magma_padics
February 12, 2025 12:40 7m 34s
Magma padics
Static check with Pyright #6370: Pull request #39449 synchronize by fchapoton
February 12, 2025 12:35 4m 28s fchapoton:magma_padics
February 12, 2025 12:35 4m 28s
use Parent in quotient rings too
Static check with Pyright #6369: Pull request #37158 synchronize by fchapoton
February 12, 2025 12:34 7m 21s fchapoton:use_parent_for_quotient_rings
February 12, 2025 12:34 7m 21s
Implicit function solver for lazy series
Static check with Pyright #6368: Pull request #38108 synchronize by mantepse
February 12, 2025 09:55 7m 39s mantepse:lazy_series/pushout_experiment
February 12, 2025 09:55 7m 39s
Add deformation cones and checking for regularity for Point Configurations and normal fans of Polyhedra
Static check with Pyright #6367: Pull request #39496 synchronize by jplab
February 12, 2025 09:47 7m 39s jplab:deformation
February 12, 2025 09:47 7m 39s
Add deformation cones and checking for regularity for Point Configurations and normal fans of Polyhedra
Static check with Pyright #6366: Pull request #39496 synchronize by jplab
February 12, 2025 09:30 7m 53s jplab:deformation
February 12, 2025 09:30 7m 53s
moving random_element to category of rings
Static check with Pyright #6365: Pull request #39497 synchronize by fchapoton
February 12, 2025 09:06 7m 46s fchapoton:random_ring_cat
February 12, 2025 09:06 7m 46s
Class polynomial for Drinfeld modules
Static check with Pyright #6364: Pull request #39215 synchronize by xcaruso
February 12, 2025 09:04 7m 48s xcaruso:class_formula
February 12, 2025 09:04 7m 48s