Skip to content

Actions: tsurumi-yizhou/SPG

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
8 workflow runs
8 workflow runs

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
chore: upgrade Lean toolchain to v4.29.0-rc4 and update dependencies Lean Action CI #8: Commit 6d0405c pushed by tsurumi-yizhou
2m 21s main
main
2m 21s
docs: 添加中文文档并更新英文README Lean Action CI #7: Commit 4a415e9 pushed by tsurumi-yizhou
2m 7s main
main
2m 7s
feat: 添加哈密顿量相关模块 Lean Action CI #6: Commit e7ddc5c pushed by tsurumi-yizhou
2m 9s main
main
2m 9s
fix(Hamiltonian): 修正空间部分k向量的变换逻辑 Lean Action CI #5: Commit b1b9510 pushed by tsurumi-yizhou
2m 1s main
main
2m 1s
refactor: 重构项目结构，将核心模块移至Core目录 Lean Action CI #4: Commit e75efd8 pushed by tsurumi-yizhou
2m 23s refactor/engine-architecture
refactor/engine-architecture
2m 23s
feat(磁相): 添加磁相模块和哈密顿量分析功能 Lean Action CI #3: Commit a185032 pushed by tsurumi-yizhou
2m 23s main
main
2m 23s
feat(Altermagnet): 实现自旋变换和对称性检查的改进 Lean Action CI #2: Commit 46047bd pushed by tsurumi-yizhou
3m 11s main
main
3m 11s
feat: 添加SPG库基础功能与示例 Lean Action CI #1: Commit 36d5528 pushed by tsurumi-yizhou
3m 24s main
main
3m 24s
⚡