TEST: use cache in linter builds - #10

Closed

Alex-Zughaid wants to merge 21 commits into

cache-build-workflow

Commits on Aug 21, 2026

Migrating alpha file import to lean + adding testing (#1552)

FergusMunro
and
FergusMunro
authored
665cf2b

Commits on Aug 22, 2026

chore: remove 53 defeq set_option (#1557)
zhikaip
authored
8edacb9
feat(Mathematics): shared gradient lemmas, used by the oscillators (#1560)

aadarwal
and
claude
authored
846bc68
Fix tensor product documentation examples (#1562)
utkarshr3144
authored
7b6e0fe

Commits on Aug 23, 2026

Commits on Aug 24, 2026

Fix position operator documentation (#1563)
utkarshr3144
authored
1bf7760
fix(tensors): correct cyclic permutation elaboration (#1567)

Robby955
and
Claude Opus 4.8
authored
e3cc997
feat(ClassicalMechanics): the simple pendulum's dynamics, Lagrangian and equation of motion (#1564)
aadarwal
authored
485cb13
The Jordan product on observables (#1559)

TomOleDiem
and
Claude Opus 4.8
authored
4a4de62

Commits on Aug 25, 2026

The static theorem for reversible dynamics on Hilbert spaces (#1556)

TomOleDiem
and
Claude Opus 4.8
authored
8f9a40b
feat(Mathematics): Real.completeEllipticK, Legendre's complete elliptic integral of the first kind (#1573)

authored
6be0ec0
feat(ClassicalMechanics): simple pendulum conservation, equilibria and shift invariance (#1569)

authored
f6d7fe3

Commits on Aug 27, 2026

Commits on Aug 28, 2026