Skip to content

Actions: JonBannon/SpectralTriples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
142 workflow runs
142 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Cleanup and updates Lean Action CI #139: Commit 9bbeeb8 pushed by JonBannon
49m 40s sync-hermite-l2
sync-hermite-l2
49m 40s
Merge pull request #17 from JonBannon/sync-hermite-l2 Lean Action CI #138: Commit 21530d1 pushed by JonBannon
48m 17s main
main
48m 17s
Sync blueprint and roadmap doc with HermiteL2.lean Lean Action CI #137: Pull request #17 opened by JonBannon
3m 52s sync-hermite-l2
sync-hermite-l2
3m 52s
Sync blueprint and roadmap doc with HermiteL2.lean (PR #16) Lean Action CI #136: Commit b482b92 pushed by JonBannon
46m 56s sync-hermite-l2
sync-hermite-l2
46m 56s
Merge pull request #16 from JonBannon/hermite-l2-basis Lean Action CI #135: Commit 424be84 pushed by JonBannon
49m 48s main
main
49m 48s
HermiteL2: Gaussian-weighted orthogonality of the Hermite polynomials (Route B foundation) Lean Action CI #134: Pull request #16 synchronize by mrdouglasny
3m 58s hermite-l2-basis
hermite-l2-basis
3m 58s
HermiteL2: Gaussian-weighted orthogonality ∫ Hₘ Hₙ e^{-x²/2} = n!√(2π… Lean Action CI #133: Commit bf3395c pushed by mrdouglasny
48m 47s hermite-l2-basis
hermite-l2-basis
48m 47s
HermiteL2: Gaussian-weighted orthogonality of the Hermite polynomials (Route B foundation) Lean Action CI #132: Pull request #16 opened by mrdouglasny
3m 51s hermite-l2-basis
hermite-l2-basis
3m 51s
HermiteL2: Gaussian-weighted orthogonality ∫ Hₘ Hₙ e^{-x²/2} = n!√(2π… Lean Action CI #131: Commit 3ef4f37 pushed by mrdouglasny
48m 28s hermite-l2-basis
hermite-l2-basis
48m 28s
Merge pull request #15 from JonBannon/dedupe-redundancies Lean Action CI #130: Commit 98efcb0 pushed by JonBannon
40m 40s main
main
40m 40s
Deduplicate redundant proofs: closed-range cokernel argument and diagonal-operator self-adjointness Lean Action CI #129: Pull request #15 synchronize by JonBannon
4m 29s dedupe-redundancies
dedupe-redundancies
4m 29s
Fix missing "and" between author names in the blueprint Lean Action CI #128: Commit 8edaea5 pushed by JonBannon
47m 52s dedupe-redundancies
dedupe-redundancies
47m 52s
Deduplicate redundant proofs: closed-range cokernel argument and diagonal-operator self-adjointness Lean Action CI #127: Pull request #15 synchronize by JonBannon
4m 3s dedupe-redundancies
dedupe-redundancies
4m 3s
Stop overclaiming the full Riesz-Schauder theorem for compact perturb… Lean Action CI #126: Commit 9d0ad7e pushed by JonBannon
47m 37s dedupe-redundancies
dedupe-redundancies
47m 37s
Deduplicate redundant proofs: closed-range cokernel argument and diagonal-operator self-adjointness Lean Action CI #125: Pull request #15 synchronize by JonBannon
4m 28s dedupe-redundancies
dedupe-redundancies
4m 28s
Fix stale file:line references in FAITHFULNESS.md and add the new sha… Lean Action CI #124: Commit 4b04356 pushed by JonBannon
48m 43s dedupe-redundancies
dedupe-redundancies
48m 43s
Deduplicate redundant proofs: closed-range cokernel argument and diagonal-operator self-adjointness Lean Action CI #123: Pull request #15 opened by JonBannon
4m 1s dedupe-redundancies
dedupe-redundancies
4m 1s
Eliminate the DecidableEq lint warnings properly Lean Action CI #122: Commit 8c60310 pushed by JonBannon
47m 57s dedupe-redundancies
dedupe-redundancies
47m 57s
Merge pull request #13 from JonBannon/m3c-scope Lean Action CI #121: Commit 4947440 pushed by JonBannon
48m 26s main
main
48m 26s
docs: M3c/M1/M4 scope — the operator bridge + Mathlib-gap survey Lean Action CI #120: Pull request #13 opened by mrdouglasny
3m 11s m3c-scope
m3c-scope
3m 11s
docs: detailed M3c/M1/M4 scope (the operator bridge) + Mathlib-gap su… Lean Action CI #119: Commit dfe6771 pushed by mrdouglasny
47m 35s m3c-scope
m3c-scope
47m 35s
Merge pull request #11 from JonBannon/chiral-fredholm Lean Action CI #118: Commit b1b942d pushed by JonBannon
46m 36s main
main
46m 36s
WIP: Fredholm operators for the index pairing (Riesz–Schauder in progress) Lean Action CI #117: Pull request #11 synchronize by JonBannon
4m 4s chiral-fredholm
chiral-fredholm
4m 4s
Fredholm half of Riesz-Schauder finished Lean Action CI #116: Commit 61750ec pushed by JonBannon
39m 20s chiral-fredholm
chiral-fredholm
39m 20s
Merge pull request #12 from JonBannon/m3a-contour-shift Lean Action CI #115: Commit 594a3a5 pushed by JonBannon
50m 33s main
main
50m 33s