Skip to content

Actions: kencyke/quantum-system

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 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
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
docs: update README Lean Action CI #68: Commit b13e99c pushed by kencyke
2m 11s 6-von-neumann-entropy
6-von-neumann-entropy
2m 11s
Strong subadditivity of von Neumann entropy Lean Action CI #67: Pull request #14 opened by kencyke
8m 5s 6-von-neumann-entropy
6-von-neumann-entropy
8m 5s
chore: refresh aggregate root and notation table Lean Action CI #66: Commit 01ee118 pushed by kencyke
8m 21s 6-von-neumann-entropy
6-von-neumann-entropy
8m 21s
Merge pull request #13 from kencyke/12-claude-code Lean Action CI #65: Commit 4465f64 pushed by kencyke
4m 13s main
main
4m 13s
Claude Code Settings Lean Action CI #64: Pull request #13 synchronize by kencyke
1m 43s 12-claude-code
12-claude-code
1m 43s
chore: add gitleaks and remove commitizen / cz-conventional-changelog Lean Action CI #63: Commit f599f1b pushed by kencyke
1m 46s 12-claude-code
12-claude-code
1m 46s
Claude Code Settings Lean Action CI #62: Pull request #13 opened by kencyke
4m 14s 12-claude-code
12-claude-code
4m 14s