mkoeppe/sage

Pull Requests Commits

src/sage/misc/lazy_attribute.pyi: Proper type stub for lazy_attribute

mkoeppe committed 2 years ago

05e34ef9

src/sage/misc/lazy_attribute.pyi: Add comment

mkoeppe committed 2 years ago

88520225

src/sage/misc/lazy_attribute.pyi: New

mkoeppe committed 2 years ago

81295586

pyrightconfig.json: Reduce reportPrivateImportUsage to warning

mkoeppe committed 2 years ago

385a3e43

pyrightconfig.json: Add comment

mkoeppe committed 2 years ago

0dedbf92

src/sage/schemes/toric/variety.py: Fix pyright 'is possibly unbound'

mkoeppe committed 2 years ago

f7dcfce4

src/tox.ini (pyright): Set memory limit to 8GB

mkoeppe committed 2 years ago

8d686d6e

src/tox.ini (pyright): Pin to 1.1.332 (latest), update comment

mkoeppe committed 2 years ago

ccf8a20e

src/tox.ini (pyright): Pin to 1.1.331 (latest)

mkoeppe committed 2 years ago

02bd361f

src/tox.ini (pyright): Do not restrict to subdirectories by default

mkoeppe committed 2 years ago

dce6b1fb

.github/workflows/build.yml: Simplify use of pyright by going through 'sage -tox'

mkoeppe committed 2 years ago

aa501685

src/tox.ini (pyright): Remove old version pin, do not rely on global node installation

mkoeppe committed 2 years ago

bbc099f1

Updated SageMath version to 10.2.beta8

Release Manager committed 2 years ago

07a2afd6

gh-36476: Fix bootstrapping on `centos-7`, `fedora-30`, `ubuntu-xenial`

Release Manager committed 2 years ago

c47788b0

Release Manager committed 2 years ago

11aae807

Release Manager committed 2 years ago

4260e44e

Release Manager committed 2 years ago

ad4546ce

Release Manager committed 2 years ago

acb1953e

Release Manager committed 2 years ago

eb03f277

Release Manager committed 2 years ago

433e825d

Release Manager committed 2 years ago

bc2e5886

Release Manager committed 2 years ago

8f337cf2

Release Manager committed 2 years ago

47b5eb99

Release Manager committed 2 years ago

2ef76f3d

Release Manager committed 2 years ago

4faf2ae3

Release Manager committed 2 years ago

9088b6c0

Release Manager committed 2 years ago

fec83575

Release Manager committed 2 years ago

93d005f8

Release Manager committed 2 years ago

31d8d5b6

Release Manager committed 2 years ago

0cdf0b31

Older