Skip to content

Actions: kencyke/quantum-system

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 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
WIP Refactoring Lean Action CI #93: Pull request #23 synchronize by kencyke
1m 29s refactor-20260617
refactor-20260617
1m 29s
docs(math): re-render quotes' own notation with self-contained \gdef Lean Action CI #92: Commit eb92563 pushed by kencyke
2m 6s refactor-20260617
refactor-20260617
2m 6s
WIP Refactoring Lean Action CI #91: Pull request #23 synchronize by kencyke
3m 41s refactor-20260617
refactor-20260617
3m 41s
chore: wrap lines over 120 columns Lean Action CI #90: Commit 2d7f460 pushed by kencyke
4m 14s refactor-20260617
refactor-20260617
4m 14s
WIP Refactoring Lean Action CI #89: Pull request #23 opened by kencyke
6m 52s refactor-20260617
refactor-20260617
6m 52s
docs: record math-review ledger entries for LocalNet/VonNeumannAlgebra Lean Action CI #88: Commit 2e21b4b pushed by kencyke
7m 34s refactor-20260617
refactor-20260617
7m 34s
feat: add the split property of a local net Lean Action CI #87: Commit 8cdebb4 pushed by kencyke
6m 54s refactor-20260617
refactor-20260617
6m 54s
feat: remove skills Lean Action CI #86: Commit c12df3f pushed by kencyke
4m 31s refactor-20260617
refactor-20260617
4m 31s
docs: update AGENTS.md Lean Action CI #85: Commit 5d24312 pushed by kencyke
3m 58s 19-haag-kastler
19-haag-kastler
3m 58s
Merge pull request #20 from kencyke/18-improvement/agents-md Lean Action CI #84: Commit 8562b28 pushed by kencyke
5m 24s refactor-20260617
refactor-20260617
5m 24s
feat: sector structure Lean Action CI #83: Commit 5b05cd0 pushed by kencyke
8m 28s 19-haag-kastler
19-haag-kastler
8m 28s
refactor(quasilocal): make globalHilbert reference-free via explicit Ω Lean Action CI #82: Commit 24a76d8 pushed by kencyke
2m 58s 19-haag-kastler
19-haag-kastler
2m 58s
chore: wip Lean Action CI #81: Commit 090ff00 pushed by kencyke
6m 50s 19-haag-kastler
19-haag-kastler
6m 50s
feat(quasilocal): add _add/_smul/_mul structural lemmas for localEmbedΩ Lean Action CI #80: Commit 4a4ec95 pushed by kencyke
3m 7s 19-haag-kastler
19-haag-kastler
3m 7s
Merge pull request #20 from kencyke/18-improvement/agents-md Lean Action CI #79: Commit 8562b28 pushed by kencyke
2m 10s 19-haag-kastler
19-haag-kastler
2m 10s
Merge pull request #20 from kencyke/18-improvement/agents-md Lean Action CI #78: Commit 8562b28 pushed by kencyke
1m 33s main
main
1m 33s
Improve AGENTS.md and SKILLs Lean Action CI #77: Pull request #20 opened by kencyke
1m 48s 18-improvement/agents-md
18-improvement/agents-md
1m 48s
chore: track skill reference docs Lean Action CI #76: Commit 140f81e pushed by kencyke
1m 30s 18-improvement/agents-md
18-improvement/agents-md
1m 30s
Merge pull request #15 from kencyke/bump-v4.30.0-rc2 Lean Action CI #75: Commit 9c16015 pushed by kencyke
2m 28s 18-improvement/agents-md
18-improvement/agents-md
2m 28s
Merge pull request #15 from kencyke/bump-v4.30.0-rc2 Lean Action CI #74: Commit 9c16015 pushed by kencyke
5m 13s main
main
5m 13s
Bump lean4 to v4.30.0-rc2 Lean Action CI #73: Pull request #15 opened by kencyke
4m 55s bump-v4.30.0-rc2
bump-v4.30.0-rc2
4m 55s
chore: make compatible with v4.30.0-rc2 Lean Action CI #72: Commit c911f10 pushed by kencyke
5m 8s bump-v4.30.0-rc2
bump-v4.30.0-rc2
5m 8s
Merge pull request #14 from kencyke/6-von-neumann-entropy Lean Action CI #71: Commit 4c8f1ef pushed by kencyke
7m 14s bump-v4.30.0-rc2
bump-v4.30.0-rc2
7m 14s
Merge pull request #14 from kencyke/6-von-neumann-entropy Lean Action CI #70: Commit 4c8f1ef pushed by kencyke
5m 55s main
main
5m 55s
Strong subadditivity of von Neumann entropy Lean Action CI #69: Pull request #14 synchronize by kencyke
2m 36s 6-von-neumann-entropy
6-von-neumann-entropy
2m 36s